Pensa che anche io ho lo stesso problema. Il bello e' che 2 giorni fa ho compilato il kernel senza problemi. Io sono su sid. MI sa che l'ultimo dist-upgrade ha fatto qualche puttanata.