I finally tried to do the overclocking, but I was stopped pretty early in my tracks.

I installed the above packages, and rebooted. Then I had about 10 crashes (phone rebooting), without me even doing any configuration. Max uptime about 5 minutes :/

I was under the impression that the enhanced kernel would boot with the same settings as the regular one, so why the crashes?

I reverted back to the original kernel and all is stable again.

Running PR1.2

Any ideas?