# CONFIG_ACPI_ASUS is not set
