# CONFIG_ACPI_TABLE_UPGRADE is not set