irqchip/nvic: Convert from handle_IRQ() to handle_domain_irq()