# CONFIG_ACPI_APEI_ERST_DEBUG is not set