[PATCH 409/552] x86/kgbd: Use NMI_VECTOR not APIC_DM_NMI