Você tem duas opções.
1) Tente este ppa
Você faz o download do kernel que deseja tentar e o instala com o dpkg
sudo dpkg -i linux-image-3.8.5-030805-generic_3.8.5-030805.201303281651_amd64.deb
mude o nome para o kernel que você baixou. Se você está construindo módulos, também precisará dos cabeçalhos.
Veja também: link
Observe que esses kernels são destinados apenas a testes e não há suporte disponível.
2) Compile um kernel você mesmo.
Depois de construir alguns kernels, não é muito difícil. Comece com localmodconfig e verifique se o módulo alx será compilado.
link