# CONFIG_ACPI_CUSTOM_DSDT is not set
