Inicialize um kernel antigo e execute os seguintes comandos:
sudo apt-get purge linux-headers-3.8.0-35 linux-headers-3.8.0-35-generic linux-image-3.8.0-35-generic
sudo apt-get install linux-headers-3.8.0-35 linux-headers-3.8.0-35-generic linux-image-3.8.0-35-generic