[SeaBIOS] [PATCH v3 2/3] stacks: call check_irqs() in run_thread()