Thats correct, in your menu there should be an icon thats says Deinstall Kernel. If you click on that icon and reboot the original Kernel will be loaded but you will not be able to overclock any more.