Symbol: xen_sysctl_cpu_hotplug