[SeaBIOS] [PATCH 1/4] Allow wait_irq to be called in 32bit code.