x86: unify nmi_32.h and nmi_64.h