Eu acho que esse kernel já está disponível pelo repositório backports, e outra, mesmo instalando da maneira manual pelos pacotes, há de funcionar, já instalei o 3.5 dessa forma, depois que executei sudo apt-get install linux-generic-lts-quantal, eu comecei a receber as atualizações das versões do kernel 3.5, essa a única diferença básica.