This problem has long been coming and likely for me for months. Finally experienced the 2nd Thunderbolt port on my Precision 3571 went down again this morning. I attempted also to operate diagnosis for USB-C during the BIOS hoping it might "activate it" as described over but nope ... It’s https://jsbazar.com/collections/charger-for-acer-laptop