x86: move ack_bad_irq into irq code