[SeaBIOS] [PATCH 3/3] usb-ehci: Fix race with host controller.