You should be able to reinstall the stock kernel without reflashing like this (has to be done as root - rootsh has to be installed)
apt-get install --reinstall kernel kernel-flasher