CONFIG_HAVE_NMI_WATCHDOG=y
