kernelconfig_penguin

CONFIG_ACPI_HOTPLUG_CPU (not configurable)

configname: CONFIG_ACPI_HOTPLUG_CPU

Linux Kernel Configuration
└─> Power management and ACPI options
└─> ACPI (Advanced Configuration and Power Interface) Support
└─> ACPI_HOTPLUG_CPU