# CONFIG_ACPI_APEI_GHES is not set
