Is it possible to overclock the EV3?

[SubatomicPlanets]

I just read @dlech's blog post from 2017 about overclocking the EV3. The default OS seems to run at 300MHz while the actual chip can go up to 456MHz. It seems that running it at 372MHz is still fully spec compliant, at 456MHz it gets undervolted but even that seems to work.
So my question is, is this supported on the Pybricks for EV3 firmware? If it isn't, could support be added? I don't have a direct use case right now, but if it's safe (which it seems to be), then I would like to try it and compare speeds.

Links:
https://lechnology.com/2017/12/overclocking-lego-mindstorms-ev3/
https://lechnology.com/2018/06/overclocking-lego-mindstorms-ev3-part-2/

[dlech]

We would need to go through the firmware and looks at anything that depends on a clock rate to make sure it is dynamically calculating it from the current hardware state. Once that all checks out, then could try it and see what happens.