This issue has long been coming and heading for me for months. At last experienced the next Thunderbolt port on my Precision 3571 went down all over again this early morning. I tried also to operate prognosis for USB-C inside the BIOS hoping it would "activate it" as described earlier https://jsbazar.com/collections/charger-for-hp-laptops