[SeaBIOS] [PATCH] stacks: call check_irqs() in run_thread()