O pacote de cabeçalho do kernel para o kernel em execução é necessário para instalar adições de convidado do VirtualBox (criar o módulo dkms).
Para corrigir o problema, instale o cabeçalho do kernel para 3.8.0-31-generic
e pacotes essenciais à compilação.
sudo apt-get install linux-headers-$(uname -r) build-essential
Monte o ISO Adições aos Convidados (se não houver X) e instale a adição do convidado executando o script de instalação
mount /dev/cdrom /media
cd /media
/path/to/./VBoxLinuxAdditions.run