CONFIG_XEN_PLATFORM_PCI=y
