xen-platform: Fix compile errors if CONFIG_PCI is not enabled.