Il mio consiglio è quello di non usare mai i precompilati quando si vuole upgradare di kernel...mi hanno dato sempre un infinita' di problemi