x86: nmi - consolidate nmi_watchdog_default for 32bit mode