# CONFIG_EXYNOS5420_MCPM not set