ARM: ux500: Force AB8500 to use the GIC as its interrupt controller