Actually compile GIC code for ARM.