[PATCH] x86-64: Declare NMI_VECTOR and handle it in the IPI sending code.