you can simply restore the power-kernel, the current one from devel works fine on PR1.3. Simply do this: 1. get into xterm 2. become root 3. run this: apt-get install --reinstall kernel-power kernel-power-flasher 4. reboot 5. you now again have a working Power-Kernel wirh overclocking PS.: of course you are responsible for your actions, this worked for me but I don't give any warranty that it will work for you.