# CONFIG_ACPI_PCC is not set
