# CONFIG_ACPI_APEI is not set
