Stupid hotplug structures depend on CONFIG_EXYNOS5_DYNAMIC_CPU_HOTPLUG flag