Você faz o download manual do kernel que deseja usar no link
Você normalmente precisa apenas da imagem do kernel, linux-image-3.7.0-030700-generic_3.7.0-030700.201212102335_amd64.deb
, por exemplo.
Você então instala com
dpkg -i linux-image-3.7.0-030700-generic_3.7.0-030700.201212102335_amd64.deb
e remova-o com
sudo apt-get remove linux-image-3.7.0-030700-generic_3.7.0-030700.201212102335_amd64.deb
Por favor, note que estes kernels são destinados a testes / desenvolvimento e não têm suporte
As construções de kernels da linha principal são produzidas para fins de depuração e, portanto, não oferecem suporte. Use-os por sua conta e risco.