This difficulty has been coming and going for me for months. Eventually experienced the 2nd Thunderbolt port on my Precision 3571 went down all over again this morning. I tried also to run analysis for USB-C in the BIOS hoping it will "activate it" as mentioned earlier mentioned but nope https://jsbazar.com/collections/charger-for-lenovo