I did not see the thunderbolt 3 port tested or discussed. How may PCIe Lanes? Is it functional underLinux (not functional / partially / fully)?
...