CONFIG_HAVE_ACPI_APEI_NMI (not configurable)

configname: CONFIG_HAVE_ACPI_APEI_NMI

Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>HAVE_ACPI_APEI_NMI
In linux kernel since version 4.2 (release Date: 2015-08-30)  
depends
CONFIG_ACPI