Yo tampoco podia cambiarle el kernel, me pasaba lo mismo. Lo he solucionado instalando la ki4 oficial, luego instale la batista 1.0 y fui actualizandola hasta llegar a la 2.2. Ahora puedo cambiar el kernel sin problemas. Espero que te sirva de ayuda aunque es un poco coņazo, un saludo.