i sorgenti del kernel sono fondamentali (attento che il modulo rivafb deve essere disabilitato): in usr/src ci deve essere un collegamento simbolico ai sorgenti chiamato linux!!!