He instalado VirtualBox dentro de VirtualBox.
Las versiones invitadas en VirtualBox instaladas en Ubuntu 12.04 son solo de 32 bits.
¿Cómo puedo hacer que 64 bits estén disponibles?
En la actualidad, VirtualBox no admite oficialmente la virtualización anidada, incluso aunque se pueda anidar un Guest de 32 bits, no se puede anidar un Guest de 64 bits, ya que VT-x no se transfiere al Guest anidado y es uno de los requisitos para ejecutar un invitado de 64 bits, anidados o no.
VMware Fusion soporta algunos Invitados anidados de 64 bits, aunque desde el principio tengo que revisar la documentación para ser más específica. Puede consultar Ejecutar máquinas virtuales anidadas en el sitio web de VMware.
Lea otras preguntas en las etiquetas virtualbox virtualization