[PATCH] x86_64: Standardize i386/x86_64 handling of NMI_VECTOR