Thx for your reply. I've used Bootmenu overclocking, but from what nofrillscpu tells, IT does not work. Still 1000 max, still ondemand.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..!