arm64: Convert handle_IRQ to use __handle_domain_irq