# CONFIG_ACPI_EC is not set
