ARM: EXYNOS4: Add support PPI in external GIC