[PATCH 3.16 031/131] x86/cpu: Make alternative_msr_write work for 32-bit code