[SeaBIOS] [PATCH 03/16] usb-uhci: fix race against host controller