The USB-C connector on the LS1028ARDB board appears to work in "High speed" (a.k.a. USB2) mode only. It fails to work in SuperSpeed.
If I attach it to a USB3 port of a desktop PC, there's no link whatsoever. If I attach it to a PC USB2 port, then it sets up a high-speed link as expected.
If I connect a USB3 flash drive, it only registers as a high-speed device. I've tried the cable that came with the board, as well as another (verified to work with other hardware) cable, both fail to operate in SuperSpeed.
If I connect the USB3 flash drive to the other USB controller, the type-A connector port, the device registers as SuperSpeed and performs as expected.