xen/pvhvm: Remove the xen_platform_pci int.