Eu poderia resolver esse problema atualizando para o VirtualBox 5.0 .
Eu removi meu antigo VirtualBox 4.3 , depois baixei 5.0 de aqui (pacote confiável).
Em seguida, instalei o 5.0 e finalmente posso iniciar uma VM de 64 bits na VirtualBox GUI !
Infelizmente, o Vagrant 1.7.2 atual não suporta o VirtualBox 5.0 de acordo com a esta documentação .
Recebi esta mensagem de erro:
$ vagrant status
No usable default provider could be found for your system.
Vagrant relies on interactions with 3rd party systems, known as
"providers", to provide Vagrant with resources to run development
environments. Examples are VirtualBox, VMware, Hyper-V.
The easiest solution to this message is to install VirtualBox, which
is available for free on all major platforms.
If you believe you already have a provider available, make sure it
is properly installed and configured. You can see more details about
why a particular provider isn't working by forcing usage with
'vagrant up --provider=PROVIDER', which should give you a more specific
error message for that particular provider.
O Vagrant já tem uma solução para isso, mas você precisa aguardar o próximo lançamento.
Até lá, você pode seguir estas instruções para corrigir o problema. É muito fácil, você só precisa editar / criar alguns arquivos em /opt/vagrant/embedded/gems/gems/vagrant-1.7.2/plugins/providers/virtualbox/
Todos os créditos vão para o grupo do vagabundo do Google .