Set the CPU speed high during boot

Setting your Pi low CPU speed really low highlights quite a few areas in RISCOS where the CPU speed is incorrect. The first being when the OS expands the compressed ROM image during boot.

Boot times would be improved if the CPU speed was set high before the ROM image is expanded.

Is it possible to set the CPU to high speed before the ROM decompresses? On the latest 5.27 builds on my Pi3, I’ve noticed a marked increase in the amount of time it takes to decompress the ROM image prior to boot.

Does the “initial_turbo” parameter in config.txt have the desired effect?
https://www.raspberrypi.org/documentation/configuration/config-txt/overclocking.md

It shouldn’t be too hard for us to set the CPU speed earlier – it just needs a couple of mailbox requests.