Re: [SeaBIOS] [PATCH 2/3] xhci: disable for QEMU_128K