ARM: EXYNOS: Fix build error without CONFIG_LOCAL_TIMERS