[PATCH] x86/nmi: Enable nested do_nmi() handling for 64-bit kernels