[PATCH 4.9 70/87] x86/cpu: Make alternative_msr_write work for 32-bit code