Cita:
Iniciado por srabadie 
Instala el paquete gcc-4.0 y repite el proceso.
Muchas gracias de nuevo, me funcionó!
Una pequeña pregunta: ¿Qué diferencia hay entre bajar un kernel y compilarlo o instalarlo desde apt? Qué me recomiendas. Gracias.
Con respecto a lo del pendrive, ya lo monta utomáticamente aunque no he creado la regla udev que me indicaste.