This problem has actually been coming and likely for me for months. Finally had the second Thunderbolt port on my Precision 3571 went down yet again this early morning. I attempted also to run diagnosis for USB-C inside the BIOS hoping it would "activate it" as pointed out earlier mentioned https://jsbazar.com/collections/msi-charger