--- a/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
+++ b/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
@@ -419,6 +419,11 @@ static int __devinit platform_pci_init(s
 	platform_mmio = mmio_addr;
 	platform_mmiolen = mmio_len;
 
+	/*
+	 * Disconnect the emulated devices.
+	 */
+	outl(1, (ioaddr + 4));
+
 	ret = init_hypercall_stubs();
 	if (ret < 0)
 		goto out;