OK, parece que todo está bien. He estado leyendo un poco al respecto.Tienes el paquete linux-kbuild? Según leí, con eso se soluciona. # aptitude install linux-kbuild