Re: [SeaBIOS] [PATCH] usb: Update USB hub code to support super speed hubs