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