Fix up the microcode update on regular 32-bit x86. Our wrmsr()

is a bit unforgiving and really doesn't like 64-bit values.

We should possibly make wrmsr() automatically truncate the
arguments, but regardless we should just fix microcode.c.

arch/i386/kernel/microcode.c

@@ -371,8 +371,9 @@ static void do_update_one (void * unused)
 	spin_lock_irqsave(&microcode_update_lock, flags);          
 
 	/* write microcode via MSR 0x79 */
-	wrmsr(MSR_IA32_UCODE_WRITE, (u64)(uci->mc->bits), 
-	      (u64)(uci->mc->bits) >> 32);
+	wrmsr(MSR_IA32_UCODE_WRITE,
+		(unsigned long) uci->mc->bits, 
+		(unsigned long) uci->mc->bits >> 16 >> 16);
 	wrmsr(MSR_IA32_UCODE_REV, 0, 0);
 
 	__asm__ __volatile__ ("cpuid" : : : "ax", "bx", "cx", "dx");