I don't know how Thunderbold looks like, but Sony VAIO Z2 series also use some strange connector (it looks like USB3, accepts USB2/3 devices and a Sony proprietary dock station containing some PCIe hardware). It also does not hot-plug properly and panics the kernel on hot-unplug. Is this related?
And BTW linux cannot read the BIOS from the Radeon card that is in the Sony dock station, see https://bugs.freedesktop.org/show_bug.cgi?id=41265 - is there anything we can do for debugging? How does linux read the VBIOS on a Mac (or, if the second video card is not on the remote side of Thunderbolt, please ignore the question).
Is there anything I can do in order to help reverse-engineer this Sony problem?
Sony: same issues?
And BTW linux cannot read the BIOS from the Radeon card that is in the Sony dock station, see https://bugs.freedesktop.org/show_bug.cgi?id=41265 - is there anything we can do for debugging? How does linux read the VBIOS on a Mac (or, if the second video card is not on the remote side of Thunderbolt, please ignore the question).
Is there anything I can do in order to help reverse-engineer this Sony problem?