I tried Device Control but after a manual reboot, the governor kept going back to "ondemand".
SetCPU works fine, there's only the 40000 setting that goes back to 80000 after a reboot. But I don't manually reboot my phone very often, so it's not a problem.
ANYWAY.... I didn't have a single of...