arm64: Get rid of handle_IRQ