Index: 2006-01-05/arch/x86_64/Makefile
===================================================================
--- 2006-01-05.orig/arch/x86_64/Makefile	2006-01-10 11:33:21.308999712 +0100
+++ 2006-01-05/arch/x86_64/Makefile	2006-01-10 11:27:17.000000000 +0100
@@ -66,7 +66,6 @@ boot := arch/x86_64/boot
 	fdimage fdimage144 fdimage288 archclean
 
 ifdef CONFIG_XEN
-CPPFLAGS := -D__KERNEL__ -Iinclude$(if $(KBUILD_SRC),2)/asm/mach-xen $(LINUXINCLUDE)
 head-y := arch/x86_64/kernel/head-xen.o arch/x86_64/kernel/head64-xen.o arch/x86_64/kernel/init_task.o
 LDFLAGS_vmlinux := -e _start
 boot := arch/i386/boot-xen