Has Linux even been updated to support Thunderbolt-enabled USB-C ports?
You need to be looking for this information on the Ubuntu and Linux sites; only Windows support is provided here.
OK, so I have finally managed to test the port with Windows 10.
Same problem: The camera is not being recognized when connected to the USB-C port, but works fine on the other ports.
Is this USB-C port actually supposed to work? Or is it maybe just some kind of USB-C shaped DisplayPort?
It is a Thunderbolt port. It is supposed to support all USB 3.0/3.1 devices, however. ICS will need to escalate this issue to the development team...