diff -up linux/drivers/xen/platform-pci.c.xen linux/drivers/xen/platform-pci.c
--- linux/drivers/xen/platform-pci.c.xen	2013-11-07 07:53:35.768941439 +0300
+++ linux/drivers/xen/platform-pci.c	2013-11-07 07:53:53.156815904 +0300
@@ -171,7 +171,7 @@ pci_out:
 }
 
 static struct pci_device_id platform_pci_tbl[] = {
-	{PCI_VENDOR_ID_XEN, PCI_DEVICE_ID_XEN_PLATFORM,
+	{PCI_VENDOR_ID_XEN, PCI_ANY_ID,
 		PCI_ANY_ID, PCI_ANY_ID, 0, 0, 0},
 	{0,}
 };