This is a known issue that is still under investigation according to our engineering team
After following above instructions, and the problem remains, I would recommend reinstall the operating system, and load the following driver:
Would the installation of the suggested driver also work for NUC5i7RYB (within Cirrus7 Nimbini) on which USB3 ports stop working after reboot? Unplugging and replugging is then the work around, but I'd evidently rather see that this would not be necessary at all.
An update: I further checked this forum, found a solution ("Turn off Legacy USB mode in the BIOS", see thread: All devices work in USB 2.0 but not in USB 3.0.).
Applied that on my Cirrus7/NUC5i7RYB under Windows 10 Pro and for me this works!
Now, after a restart, I do not need to unplug and replug USB 3.0 devices anymore to get them working again!