CONFIG_ACPI_PROCESSOR_IDLE (not configurable)
modulename: cpuidle.ko
configname: CONFIG_ACPI_PROCESSOR_IDLE
Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>ACPI_PROCESSOR_IDLE