Index: 2006-01-05/arch/i386/kernel/Makefile
===================================================================
--- 2006-01-05.orig/arch/i386/kernel/Makefile	2005-12-16 15:38:28.000000000 +0100
+++ 2006-01-05/arch/i386/kernel/Makefile	2006-01-05 17:03:27.812474688 +0100
@@ -86,6 +86,7 @@ ifdef CONFIG_XEN
 include $(srctree)/scripts/Makefile.xen
 
 obj-y += fixup.o
+microcode-$(subst m,y,$(CONFIG_MICROCODE)) := microcode-xen.o
 n-obj-xen := i8259.o doublefault.o timers/ reboot.o smpboot.o trampoline.o
 
 obj-y := $(call filterxen, $(obj-y), $(n-obj-xen))