ARM: EXYNOS4: Add support for gpio interrupts