Não há necessidade de fazer isso, porque você pode voltar para o kernel mais antigo 3.5.0.22 no menu Grub. Na inicialização você pode mostrar o menu Grub segurando o < Tecla kbd> shift . Se você quiser, pode selecionar o kernel desejado, como kernel padrão, kernel . / p>
Veja: