It is locked down in closed source binary blob boot files nd even missing in most cases.
You can't edit kernel files to make it faster.
Odroid did manage to overclock to something like 1.65Ghz but it was unstable, required a bigger power supply and slowed down again after a while, while only a few cores could be used.
Sorry for being off-topic.
Comment