arm64: Use irqchip_init() for interrupt controller initialisation