Depending on the SoC on your particular Raspberry Pi 4, the latest Raspbian might kick it up to 1.8 GHz:
I checked all of the Pis I bought over the past couple or three months for a home cluster, and they're all of the C0T variety. Guess it's time to wipe and reload them again to get the speed boost. :)
_/_ / v \ Scott Alfter (remove the obvious to send mail) (IIGS(