[SeaBIOS] [PATCH] Show the real IRQ number in the debug, produced by the unused, IRQ handler