I see updates for the Thunderbolt Controller and driver have been released. I see nothing about any "fixes" in the release notes, only "enhancements". This is a little disconcerting since there have been a number of issues with the Thunderbolt controller. A manufacturer of a new Thunderbolt 3 dock has discovered problems with it. Will this controller or any related BIOS settings be fixed?