Dispositivos conectados à porta USB-C no Intel NUC 7i7 não reconhecidos

Question

Eu tenho

• uma câmera ( IDS UI-3131LE ) com uma porta USB-C e
• um mini PC ( Intel NUC 7i7BNH ) com uma porta USB-C rodando o Ubuntu 16.04 (versão do kernel 4.10.0-40).

Parece uma correspondência perfeita, mas a câmera não está sendo reconhecida quando conectada à porta USB-C do PC. Só tem poder.

Citando uma resposta de outra pergunta sobre USB-C e Ubuntu :

Intel chipsets usually have the best support

No entanto, parece que a porta USB-C não funciona de todo.

O que eu tentei até agora:

• BIOS atualizado
• desligou o Thunderbolt na BIOS
• suporte legado USB desativado no BIOS
• conectou um telefone à porta USB-C: só cobra
• confirmou que os dois cabos USB-C que estou usando funcionam em outra configuração

• conectou a câmera a uma porta USB comum no mesmo computador (com um cabo USB-C para USB comum): funciona. /var/log/kern.log diz:

  Nov 30 14:51:47 D2330 kernel: [ 1558.558892] usb 2-1: new SuperSpeed USB device number 3 using xhci_hcd
  Nov 30 14:51:47 D2330 kernel: [ 1558.580601] usb 2-1: New USB device found, idVendor=1409, idProduct=3130
  Nov 30 14:51:47 D2330 kernel: [ 1558.580608] usb 2-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
  Nov 30 14:51:47 D2330 kernel: [ 1558.580612] usb 2-1: Product: USB 3.0 Camera
  Nov 30 14:51:47 D2330 kernel: [ 1558.580616] usb 2-1: Manufacturer: Camera Manufacturer
  

  Nada aparece quando se conecta ao USB-C. (mesmo com sudo dmesg )

A única coisa que lspci -k informa sobre o USB é:

00:14.0 USB controller: Intel Corporation Sunrise Point-LP USB 3.0 xHCI Controller (rev 21)
    Subsystem: Intel Corporation Sunrise Point-LP USB 3.0 xHCI Controller
    Kernel driver in use: xhci_hcd

Não sei se isso inclui drivers para USB-C.

Como posso fazer com que minha porta USB-C funcione?