My XPS thunderbolt port stopped connecting to thinkpad dock.
I updated the BIOS and installed the thunderbolt controller but it does NOT show in Device Manager> System Devices. 
The port can charge and connects to other devices though.
Anyone faced this issue before? Any help is appreciated.
Thanks.