[PATCH] Update i386 microcode driver for x86-64

The microcode driver needs to support 64bit physical addresses too.

arch/i386/kernel/microcode.c

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