# CONFIG_ACPI_TAD is not set
