93285c019777 ("doc: kernel-parameters.txt: fix documentation of nmi_watchdog parameter")