# CONFIG_HAVE_ACPI_APEI is not set
