I have noticed that although System Report shows 2 USB 3.1 busses on the USB device tree only one of the busses is used whenever a device is plugged in to one of the ports. Is the other bus reserved for internal use or is it possible to have it used by an external device?