x86/cpu: Make alternative_msr_write work for 32-bit code