smdk4412: EXPERIMENTAL enable samsung exynos cpu hotplug