[SeaBIOS] [PATCH v3 3/3] stacks: call check_irqs() after switch_next()