You CAN get your TB3 port working as a USB port, but you have to learn how your port works and adapt either my SSDT-TYPC/SSDT-YTBT or dpassmor's versions. Or, if you're lucky, you might find you don't even have to deal with a a port that turns itself totally off, which would still require a DSDT...