Probabilmente devi installare il pacchetto "kernel-headers", cercalo con synaptic.

Però prima cerca su http://pollycoke.wordpress.com la procedura per installare i driver già "pacchettizati" (cioè distribuiti in formato .deb), così si semplifica notevolmente la procedura.