# CONFIG_ACPI_APEI_MEMORY_FAILURE is not set
