[PATCH] x86_64: Reduce NMI watchdog stack usage