# CONFIG_SOC_EXYNOS4212 is not set
