ARM: EXYNOS: Fix build breakage cpuidle on !SMP