# CONFIG_ACPI_APEI_EINJ is not set