nmi watchdog: do not use cpp symbol in Kconfig