The Xilinx interrupt controller driver is now available in drivers/irqchip.
Switch to using that driver.
Acked-by: NMichael Ellerman <mpe@ellerman.id.au>
Acked-by: NMichal Simek <michal.simek@xilinx.com>
Signed-off-by: NZubair Lutfullah Kakakhel <Zubair.Kakakhel@imgtec.com>
Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>