Index: 2005-12-16/drivers/pci/Kconfig
===================================================================
--- 2005-12-16.orig/drivers/pci/Kconfig	2005-11-21 16:41:39.000000000 +0100
+++ 2005-12-16/drivers/pci/Kconfig	2005-12-19 14:31:37.939450896 +0100
@@ -4,7 +4,7 @@
 config PCI_MSI
 	bool "Message Signaled Interrupts (MSI and MSI-X)"
 	depends on PCI
-	depends on (X86_LOCAL_APIC && X86_IO_APIC) || IA64
+	depends on (X86_LOCAL_APIC && X86_IO_APIC && !XEN) || IA64
 	help
 	   This allows device drivers to enable MSI (Message Signaled
 	   Interrupts).  Message Signaled Interrupts enable a device to