x86, documentation: nmi_watchdog=2 works on x86_64