se non hai i sorgenti patchare il kernel č un po come
ti servono comunque i sorgenti per compilarlo. consiglio di scaricartene uno recente da kernel.org, leggerti il kernel howto, e poi compilarlo adeguatamente per la tua macchina.
Se hai qualche problema scrivi
