x86/oprofile: Moving nmi_cpu_save/restore_mpx_registers() in nmi_int.c