[PATCH] x86_64: i386/x86-64 Add nmi watchdog support for new Intel CPUs