USB3.0 port recognized as USB2.0

Hello everyone. I have a strange problem on my X99 Max-S922 box with CoreELEC 20.2, running with X88 King device tree. The device physically has two USB ports, one 2.0 black and the other 3.0 blue. I noticed that when I connected a 3.0 device to the 2.0 or 3.0 port the speed always remained the same. So I investigated by connecting two pendrives in the two USB ports and running the “lsusb -t” command in ssh and this was the result:

/:  Bus 02.Port 1: Dev 1, Class=root_hub, Driver=xhci-hcd/0p, 5000M
/:  Bus 01.Port 1: Dev 1, Class=root_hub, Driver=xhci-hcd/2p, 480M
    |__ Port 1: Dev 6, If 0, Class=Mass Storage, Driver=usb-storage, 480M
    |__ Port 2: Dev 7, If 0, Class=Mass Storage, Driver=usb-storage, 480M

Incredibly it turns out that both pendrives are connected to a USB 2.0 port, but in reality they should be connected to different buses (one at least to port 3.0). Is it really possible that the device has a fake usb3.0 port which is actually a usb2.0 port? Or could it just be a configuration problem or incompatibility of the device tree used? Is there any way to check this? Thanks in advance