[PATCH] kdump: NMI handler segment selector, stack pointer fix