Raspberry Pi 4B does not detect devices in USB 3.0

From: Archimedes Gaviola <archimedes.gaviola_at_gmail.com>
Date: Thu, 23 Dec 2021 13:06:13 UTC
Hi,

I have successfully installed FreeBSD 13.0-RELEASE #0
releng/13.0-n244733-ea31abc261f in Raspberry Pi 4B with 2GB RAM. USB
devices work well and get detected with the USB 2.0 ports however when
tried with USB 3.0 ports all these devices can't be detected thus will not
work. My config.txt has the following contents. Anything I missed? I also
attached the dmesg output.

freebsd@freebsd13:/boot/msdos % cat config.txt
[all]
arm_64bit=1
dtparam=audio=on,i2c_arm=on,spi=on
dtoverlay=mmc
dtoverlay=disable-bt
device_tree_address=0x4000
kernel=u-boot.bin

Thanks and best regards,
Archimedes