Seu problema é que você precisa criar uma máquina virtual de 64 bits. Você provavelmente criou um de 32 bits e é por isso que a opção não aparece. Do site da VBox (grifo meu):
convidados de 64 bits
O VirtualBox suporta sistemas operacionais convidados de 64 bits, mesmo em 32 bits sistemas operacionais host, desde que as seguintes condições sejam conheceu:
Você precisa de um processador de 64 bits com suporte para virtualização de hardware (veja “ Hardware vs. virtualização de software ”.
Você deve habilitar a virtualização de hardware para a VM específica para a qual você deseja suporte a 64 bits; a virtualização de software não é suportada para VMs de 64 bits.
Se você deseja usar o suporte a convidado de 64 bits em um sistema operacional de host de 32 bits, também deve selecionar um sistema operacional de 64 bits para a VM específica . Como o suporte a 64 bits em hosts de 32 bits gera sobrecarga adicional, o VirtualBox só permite esse suporte mediante solicitação explícita.
Em hosts de 64 bits (que normalmente vêm com suporte a virtualização de hardware), os sistemas operacionais convidados de 64 bits são sempre suportados independentemente das configurações, você pode simplesmente instalar um sistema operacional de 64 bits sistema no convidado.
Aviso
Em qualquer host, você deve ativar o APIC de E / S para máquinas virtuais que você pretende usar no modo de 64 bits. Isso é especialmente verdadeiro para 64 bits VMs do Windows. Consulte a seção "" guia "Avançado" ". Além disso, para Convidados do Windows de 64 bits, certifique-se de que a VM usa o Intel dispositivo de rede, já que não há suporte de driver de 64 bits para o Cartão PCNet; veja a seção chamada "Hardware de rede virtual".
Se você usar o assistente "Criar VM" do usuário gráfico do VirtualBox interface (veja a seção “Criando seu primeiro virtual máquina ”), o VirtualBox usará automaticamente as configurações corretas cada tipo de sistema operacional de 64 bits selecionado.
Então, tente criar uma nova máquina virtual e selecione o Ubuntu 64 como sistema operacional. Todas as configurações devem ser configuradas corretamente pelo VirtualBox e você deve poder instalar sem problemas.