I have install OS 10.13.1 on Skull Canyon. And also found any USB3.0 device. And author issue, the mini DP port does not work. But using type-c port as DP port is OK.
The information as below:
➜ ~ sudo touch /System/Library/Extensions && sudo kextcache -u /