Eu acredito que o kernel 3.5 é o padrão atual para 12.10 [1] . Então, a menos que você precise do ppa Xorg-edgers, você deve ser capaz de apenas:
- Desinstale completamente o kernel e todas as suas coisas extras (usando synaptic, terminal, etc.)
- Remover o PPA
ou
- Faça o seu computador inicializar automaticamente no kernel 3.5, usando o Grub Customizer para configurar o grub para sempre inicialize no kernel previamente inicializado.
No entanto, esta segunda opção obriga você a mudar manualmente para o novo kernel se houver uma atualização (selecionando o novo kernel no grub), já que ele continuará usando o kernel anterior.