Existe uma alternativa. O T42 será definitivamente executado com o oficial PAE-Kernels (isto também é uma boa notícia para os proprietários de R40, R50, R51, X32, X32, X40, X41, T40, T41, T42, T43)
- instale o pacote fake-pae em este repositório
- reinstale esse pacote quebrado linux-image-3.5.0-17-generic, desta vez ele irá instalar sem erros. Além disso, deixe-o reconfigurar todos os outros pacotes que dependem dele, ele deve funcionar e trazer seu sistema de pacotes de volta a um estado consistente com o novo kernel 3.5 instalado felizmente.
- então reinicie com seu novo kernel, tudo deve estar ok, também todas as atualizações subseqüentes do kernel devem funcionar desde que você deixe o pacote falso-pae instalado em seu sistema.