[SeaBIOS] [PATCH 01/13] Rename wait_irq to yield_toirq.