Symbol: platform_can_hotplug_cpu