dai un apt-cache search headers o linux o kernel e guarda cosa hai a disposizione

dai anche un apt-cache search gcc e guarda se hai anche il 3.3 installabile

dai per controllare un

ls /usr/src

installa il pacchetto

apt-get install linux-kernel-headers