Use the BIOS settings that I posted a few posts back. Then go to the "Power" section of your BIOS, and if you have the ERP active, disable it. Now start MacOS, and add the SSDT V4, unplug and reconnect your TB Dock, if you have Arbitrary inject on Clover, remove them. Now restart your computer. Is the TB Dock now recognized?