HOTPLUG_CPU depends on SMP, so why not put it under SMP?
Attach a file by drag & drop or click to upload