# CONFIG_ACPI_THERMAL is not set
