# CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE is not set
