How to restore kernel if you accidently deleted it:( - gnome tech blog