devfreq bandwidth management
There is bandwidth management implemented by Leonard, using perf: https://firstname.lastname@example.org/
I tested this and it does what it says, clocking down to 100mhz when appropriate. 100mhz produce display-glitches though, so that we can't use it.
you can test this without running the above changes, by using the userspace governor we currently use:
echo simple_ondemand > /sys/class/devfreq/3d400000.memory-controller/governor
echo 100000000 > /sys/class/devfreq/3d400000.memory-controller/userspace/set_freq