[PATCH v3 07/12] PCI: Set ports for discrete USB4 controllers appropriately