[SeaBIOS] [PATCH 18/19] usb: Fix barrier() placement in OHCI interrupt schedule add.