x86: fix nmi_watchdog=2 on Pentium-D CPUs