ARM: mach-shmobile: update for GIC changes.