Instruction pointer comparisons for the NMI on debug stack check/fixup were incorrect. From: Jan Beulich (actual patch attached)