debian/patches/fix-ftbfs-ppc64el.patch

   1 --- a/hw/kdrive/src/kinput.c
   2 +++ b/hw/kdrive/src/kinput.c
   3 @@ -221,7 +221,7 @@ KdUnregisterFd(void *closure, int fd, Bo
   4              if (do_close)
   5                  close(kdInputFds[i].fd);
   6              kdNumInputFds--;
   7 -            for (j = i; j < (kdNumInputFds - 1); j++)
   8 +            for (j = i; j < (kdNumInputFds - 1) && j < (KD_MAX_INPUT_FDS - 1); j++)
   9                  kdInputFds[j] = kdInputFds[j + 1];
  10              break;
  11          }