Bene, togliendo il modulo drm tutto si è compilato alla perfezione.
Devo quindi modificare il boot di grub? Come? Mattia