# CONFIG_ARCH_EXYNOS4 is not set