/include/config/HAVE_ACPI_APEI_NMI