# CONFIG_ARCH_EXYNOS is not set