Thanks - I have been monitoring the Raspberry Pi's current frequency by looking at:
/sys/devices/system/cpu/cpu0/cpufreq/scaling_cur_freq
Even after adding force_turbo=1 to config.txt and rebooting, cpu0 never seems to scale
above 600
A closer peek at
$ sudo cat /sys/devices/system/cpu/cpufreq/policy0/*
shows that some of the cores will occasionally hit 900, 1200, 1400MHz so you're
correct that the CPU frequency support in the kernel is working.
It seems that Gnome Shell / wayland drags down performance on the Raspberry Pi so much
that opening Firefox takes 10 minutes. I'd prefer to run Gnome but its unbearable.
I've done a
$ sudo dnf groupinstall lxde-desktop-environment
and LXDE performance is much better.
-- John