I asked a slop machine and it said that Thunderbolt is implemented in the PCIe/Displayport hardware mode of the USB. I then checked the wikipedia and it more or less aligned with that interpretation