I connected the device to the usb-c port on the carrier board as you asked yesterday. The cable is 3.2 capable for sure.
Here is the output of lsusb -t :
|__ Port 1: Dev 2, If 0, Class=Hub, Driver=hub/4p, 10000M
|__ Port 2: Dev 3, If 0, Class=Vendor Specific Class, Driver=usbfs, 10000M
/: Bus 01.Port 1: Dev 1, Class=root_hub, Driver=tegra-xusb/4p, 480M
|__ Port 2: Dev 2, If 0, Class=Hub, Driver=hub/4p, 480M
|__ Port 3: Dev 3, If 0, Class=Wireless, Driver=rtk_btusb, 12M
|__ Port 3: Dev 3, If 1, Class=Wireless, Driver=rtk_btusb, 12M
Additionnally i did a dmesg --follow to capture kernel driver messages when i plug the device :
[ 749.253884] usb 2-2: new SuperSpeedPlus Gen 2 USB device number 4 using tegra-xusb
[ 749.284330] usb 2-2: New USB device found, idVendor=03e7, idProduct=f63b, bcdDevice= 1.00
[ 749.284340] usb 2-2: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[ 749.284346] usb 2-2: Product: Luxonis Device
[ 749.284350] usb 2-2: Manufacturer: Intel Corporation
[ 749.284354] usb 2-2: SerialNumber: 14442C109142AFCF00