# CONFIG_ACPI_FAN is not set
