[PATCH] x86_64: nmi watchdog header cleanup