CONFIG_SOC_EXYNOS5420=y
CONFIG_SOC_EXYNOS5800=y
# CONFIG_EXYNOS5420_MCPM is not set
+CONFIG_EXYNOS_CPU_SUSPEND=y
CONFIG_PLAT_SAMSUNG=y
#
# CPU frequency scaling drivers
#
CONFIG_ARM_BIG_LITTLE_CPUFREQ=m
-# CONFIG_ARM_VEXPRESS_SPC_CPUFREQ is not set
-CONFIG_ARM_BRCMSTB_AVS_CPUFREQ=y
+CONFIG_ARM_VEXPRESS_SPC_CPUFREQ=m
+CONFIG_ARM_BRCMSTB_AVS_CPUFREQ=m
CONFIG_ARM_HIGHBANK_CPUFREQ=m
CONFIG_ARM_IMX6Q_CPUFREQ=m
CONFIG_ARM_MEDIATEK_CPUFREQ=m
CONFIG_ARM_STI_CPUFREQ=m
CONFIG_ARM_TEGRA20_CPUFREQ=y
CONFIG_ARM_TEGRA124_CPUFREQ=m
-# CONFIG_ARM_TI_CPUFREQ is not set
+CONFIG_ARM_TI_CPUFREQ=y
#
# ARM CPU Idle Drivers
#
-# CONFIG_ARM_BIG_LITTLE_CPUIDLE is not set
-# CONFIG_ARM_HIGHBANK_CPUIDLE is not set
-# CONFIG_ARM_ZYNQ_CPUIDLE is not set
-# CONFIG_ARM_U8500_CPUIDLE is not set
-# CONFIG_ARM_EXYNOS_CPUIDLE is not set
+CONFIG_ARM_BIG_LITTLE_CPUIDLE=y
+CONFIG_ARM_HIGHBANK_CPUIDLE=y
+CONFIG_ARM_ZYNQ_CPUIDLE=y
+CONFIG_ARM_U8500_CPUIDLE=y
+CONFIG_ARM_EXYNOS_CPUIDLE=y
CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED=y
#