irqchip: gic: Call handle_bad_irq() directly