Se a versão do VirtualBox no repositório Ubuntu 12.10 não suportar a versão 3.8 do kernel, você pode tentar instalar a versão mais recente do VirtualBox usando o repositório Oracle. A versão mais recente do VrtualBox suporta kernels mais recentes.
As instruções para adicionar seu repositório estão aqui:
Observe que você pode precisar desinstalar seus pacotes atuais do VirtualBox e do Vagrant primeiro. Note também que os pacotes do Oracle VirtualBox têm nomes diferentes.
Então, ao instalar o Vagrant, você precisará impedi-lo de remover sua nova versão do VirtualBox. Você pode tentar fazer isso instalando o Vagrant no repositório do Ubuntu, mas adicionando --no-install-recommends
quando você executa apt-get
, ou você pode tentar baixar e instalar o Vagrant diretamente de seu site: