# CONFIG_ACPI_DPTF is not set
