USB ports not working with Armbian

[mildparanoia]

Hello, I installed Armbian 22.05.3 Jammy on a Rock Pi 4A+. Unfortunately 3 out of 4 USB ports do not work; only the USB 3.0 OTG port works.

 

I tried using the Debian Buster download from Radxa, and all four ports work.

 

Any suggestion on how to fix this with Armbian?