Metalbobolic, não quero desfocar o thread do autor por isso não vou me extender nesse assunto, mas seria interessante vc dar uma pesquisada melhor nisso, vc tá entendendo errado como funciona o kernel e o carregamento de driver pelo Linux... eu, por exemplo, tenho um core i5 e nunca precisei recompliar meu kernel, no meu /etc/cpuinfo aparece todos os cores, o modelo do processador, tudo blz... iclusive com o hyperthreding habilitado...
E depois, se todo Gnome ficasse de 30 a 40 segundos demorando p/ iniciar por conta de um problema que só pode ser corrigido recompilando o kernel, acredito que o Ubuntu não teria mto fãs por aí... rs..