[SeaBIOS] [PATCH v4 1/2] stacks: call check_irqs() in run_thread()