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