USB3 Detection Issues When Booting Without USB Device Attached

[Dargmuesli]

Hey there,

I received my Rock64 about a week ago and I have been trying to get a consistent USB3 connection to work since then. I've tried multiple OSs, ports and devices and spent many hours googling.
What I've found out: booting without a USB device connected results in no USB3 device detection on later plug in into the USB3 port. USB3 into USB2 port works, USB2 into USB3 port works. But USB3 on USB3 does absolutely nothing. No output with

Code:

lsusb -t

and

Code:

lsblk

Now - after initiating a return, because I suspected a hardware failure - I've found that booting with any USB device connected to any USB port results in normal device detection afterwards. Even plugging devices in and out in any combination works flawlessly then.

... what?! Can somebody explain to me what is going on here, because the return packet is already paid. If it turns out to be fixable through software, I'd need to cancel the refund task. I'm currently on

Code:

Linux DietPi 4.4.132-1075-rockchip-ayufan-ga83beded8524 #1 SMP Thu Jul 26 08:22:22 UTC 2018 aarch64 GNU/Linux

Thanks in advance!