CONFIG_HAVE_ACPI_APEI_NMI=y
