ARM: mach-shmobile: Run-time IRQ handler for GIC