# CONFIG_ACPI_SPCR_TABLE is not set
