CONFIG_HAVE_NMI=y
