He edited his post and said don't reflash, if your device is on at the moment I'd suggest reflashing the stock kernel using apt-get --reinstall install kernel kernel-flasher then reflashing the 'normal' OC'd kernel.