Index: 2006-01-05/arch/x86_64/kernel/Makefile
===================================================================
--- 2006-01-05.orig/arch/x86_64/kernel/Makefile	2006-01-05 16:43:03.586585312 +0100
+++ 2006-01-05/arch/x86_64/kernel/Makefile	2006-01-05 16:53:02.519533664 +0100
@@ -29,7 +29,7 @@ obj-$(CONFIG_CPU_FREQ)		+= cpufreq/
 obj-$(CONFIG_EARLY_PRINTK)	+= early_printk.o
 obj-$(CONFIG_GART_IOMMU)	+= pci-gart.o aperture.o
 obj-$(CONFIG_DUMMY_IOMMU)	+= pci-nommu.o pci-dma.o
-obj-$(CONFIG_SWIOTLB)		+= swiotlb.o
+obj-$(CONFIG_XEN)		+= swiotlb.o
 obj-$(CONFIG_KPROBES)		+= kprobes.o
 obj-$(CONFIG_X86_PM_TIMER)	+= pmtimer.o