ARM: EXYNOS4: Add irq definition for kernel global timer