Index: 2005-12-16/arch/i386/Makefile
===================================================================
--- 2005-12-16.orig/arch/i386/Makefile	2005-12-21 16:18:08.000000000 +0100
+++ 2005-12-16/arch/i386/Makefile	2005-12-23 15:16:50.837000936 +0100
@@ -111,7 +111,6 @@ boot := arch/i386/boot
 	zdisk bzdisk fdimage fdimage144 fdimage288 install kernel_install
 
 ifdef CONFIG_XEN
-CPPFLAGS := -Iinclude$(if $(KBUILD_SRC),2)/asm/mach-xen $(CPPFLAGS)
 head-y := arch/i386/kernel/head-xen.o arch/i386/kernel/init_task-xen.o
 boot := arch/i386/boot-xen
 .PHONY: vmlinuz