Cpufreq subsystem missing in NAVIO2

Raspberry Pi 4 is stuck at 600Mhz clock freq.
The ondemand governor seems not able to work.

May be related to this: no freq scaling on archlinuxarm's kernel 5.4 · Issue #3637 · raspberrypi/linux · GitHub

Hi @CNavio2,

It seems we can hardly help with this question since it’s more related to the RPi core.