io l'ho fatti andare...nessun problema!

ho solo dovuto caricare il kernel-source e il kernel-headers...