Maybe so, but why not overclock in the bootmenu? I find it to be the direct control, works every time. At least for me, since I don't change clocks for gaming/ everyday stuff/ night etc, just keep them at the same settings.
I did that on this ROM, as well, worked out fine..!
Thx for your reply. I've used Bootmenu overclocking, but from what nofrillscpu tells, IT does not work. Still 1000 max, still ondemand.