What's in device manager now isn't definitive by any means, that was already discussed/explained earlier.
Unless it's hidden, or dvrs simply aren't activated, or even compiled in yet...
Their earlier comments just don't gel with there being no TB, I doubt it'll be built into the device itself though, needing the dock is prolly more likely, sadly.
Thunderbolt has to be on the device.....it isn't possible to have an external Thunderbolt Bus - as it would still require the PCI Express Root on device for communication back to the SoC
Official TB maybe, but something that's a franken implementation certainly doesn't.
As long as you have the right bandwidth/signalling going from NB (via the power port), you could have the TB controller/chipset in the dock.
A (big) motivating factor for doing it that way, would be to negate licensing costs etc.
Pure spec. of course, but certainly not out of the realm of possibility...