In realtà anch'io ho sempre compilato il kernel da me, solo che ora l'hardware è cambiato....e quindi devo usarne uno precompilato. Il problema principale infatti è che ho tempi molto ristretti (deve essere pronto entro domani pomeriggio) perchè non so quanto tempo ci vorrà prima che questo pc possa rivedere internet. Non trovando soluzioni, però, non mi rimane che un'installazione da zero (su un altro disco). Spero di risolvere almeno così. Mattia