Re: [PATCH v4 0/4] x86/crash: Fix double NMI shootdown bug