arch/*: Kconfig: fix documentation for NMI watchdog