[PATCH] x86: do_IRQ(): check irq number