x86: add handle_irq() to allow interrupt injection