[PATCH 0/1] Removing GIC driver from Arndale BSP