Latitude 5480 TB3 hot plug does not work

[sdarktemplar]

Few days ago, I clean install the 10.13.1 on my 5480, and the usb3.1 type-c hot plug works fine.

 

yesterday I got the Dell TB15 (TB3 dock), then TB3 is no hot plug,

 

I have to plug in before boot, and the type-c on the TB15 is no hot plug, either.

 

any idea?

 

Thanks

EFI_IOReg_patchmatic_Termianl.zip