arch_cpu_is_hotpluggable
c->hotpluggable = arch_cpu_is_hotpluggable(cpu);
extern bool arch_cpu_is_hotpluggable(int cpu);