Christian,
I filed the bug SDSCM00050444 today. You can check its status in the link SDOWP in my signature below.
Since XDS100 emulators use FTDI's low-level device drivers (or the open source drivers in Linux hosts), it is possible the problem may be related to the way these drivers deal with USB3.0 ports - something we may or may not be able to fix.
However my conclusions are preliminary. The developers will reach a more precise assessment.
Regards,
Rafael