Re: [SeaBIOS] [PATCH 3/3] usb: add xhci support