[SeaBIOS] [PATCH 1/2] usb: Fix usb_xfer_time() to work when called in 16bit mode.