_kern_set_cpu_enabled
extern status_t _kern_set_cpu_enabled(int32 cpu, bool enabled);
_kern_set_cpu_enabled(cpu, !_kern_cpu_enabled(cpu));
_kern_set_cpu_enabled(fCPU, Value());
_kern_set_cpu_enabled(which, (int)!cpu_menu_items[which]->IsMarked());
return _kern_set_cpu_enabled(cpuNum, state != 0);