cpuidle: Enable coupled cpuidle support on Exynos3250 platform

All the needed code has been already merged to mach-exynos core in
commit af9971144dde ("ARM: EXYNOS: add coupled cpuidle support for
Exynos3250"), so enable support for coupled variant also for Exynos3250
SoCs.

Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>
Acked-by: Krzysztof Kozlowski <krzk@kernel.org>
Acked-by: Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>
Signed-off-by: Rafael J. Wysocki <rafael.j.wysocki@intel.com>

1 files changed, 2 insertions, 1 deletions

diff --git a/drivers/cpuidle/cpuidle-exynos.c b/drivers/cpuidle/cpuidle-exynos.c
index 00cd129b10a4..0171a6e190d7 100644
--- a/drivers/cpuidle/cpuidle-exynos.c
+++ b/drivers/cpuidle/cpuidle-exynos.c
@@ -117,7 +117,8 @@ static int exynos_cpuidle_probe(struct platform_device *pdev)
         int ret;
 
         if (IS_ENABLED(CONFIG_SMP) &&
-            of_machine_is_compatible("samsung,exynos4210")) {
+            (of_machine_is_compatible("samsung,exynos4210") ||
+             of_machine_is_compatible("samsung,exynos3250"))) {
                 exynos_cpuidle_pdata = pdev->dev.platform_data;
 
                 ret = cpuidle_register(&exynos_coupled_idle_driver,