--- linux-patch/arch/x86_64/kernel/early-quirks.c	2007-09-15 09:27:33.000000000 +0000
+++ linux/arch/x86_64/kernel/early-quirks.c	2007-09-15 07:45:54.000000000 +0000
@@ -81,11 +81,13 @@
 	u16 device = read_pci_config_16(0, 0, 0, PCI_DEVICE_ID);
 
 #ifdef CONFIG_SMP
+#ifndef CONFIG_XEN_UNPRIVILEGED_GUEST
 	if (device == PCI_DEVICE_ID_INTEL_E7320_MCH ||
 	    device == PCI_DEVICE_ID_INTEL_E7520_MCH ||
 	    device == PCI_DEVICE_ID_INTEL_E7525_MCH)
 		quirk_intel_irqbalance();
 #endif
+#endif
 }
 
 struct chipset {