I am working on creating a custom carrier for TX2-4G and need to have two USB3.0 ports. From the TX2 Series OEM Product Design Guide and the Platform Adaptation and Bring up Guide documents, I think I should use PEX_RFU for first USB and the USB_SS1 for second USB.
To be specific:
First USB: D39, D40, G39, G40 (PEX_RFU) for USB3SS and A38, A39 (USB1) for USB2
Second USB: D42, D43, G42, G43 (USB_SS1) for USB3SS and B42, B43 (USB2) for USB2
Am i right on the pin selection?