EXPERIMENTAL: Support samsung exynos cpu hotplug