Su problema es que necesita crear una máquina virtual de 64 bits. Probablemente haya creado uno de 32 bits, por eso la opción no aparece. Desde el sitio web de VBox (énfasis mío):
Huéspedes de 64 bits
VirtualBox admite sistemas operativos invitados de 64 bits, incluso en sistemas operativos host de 32 bits, siempre que se cumplan las siguientes condiciones:
Necesita un procesador de 64 bits con soporte de virtualización de hardware (consulte la sección llamada " Virtualización de hardware frente a software ").
Usted debe habilitar la virtualización de hardware de la máquina virtual en particular para el que desea soporte de 64 bits; La virtualización de software no es compatible con máquinas virtuales de 64 bits.
Si desea utilizar la compatibilidad con invitados de 64 bits en un sistema operativo host de 32 bits, también debe seleccionar un sistema operativo de 64 bits para la VM en particular . Dado que admitir 64 bits en hosts de 32 bits conlleva una sobrecarga adicional, VirtualBox solo habilita este soporte a pedido explícito.
En los hosts de 64 bits (que generalmente vienen con soporte de virtualización de hardware), los sistemas operativos invitados de 64 bits siempre son compatibles independientemente de la configuración, por lo que simplemente puede instalar un sistema operativo de 64 bits en el invitado.
Advertencia
En cualquier host, debe habilitar el APIC de E / S para máquinas virtuales que tiene la intención de usar en el modo de 64 bits. Esto es especialmente cierto para las máquinas virtuales de Windows de 64 bits. Consulte la sección llamada "pestaña " Avanzado ". Además, para los invitados de Windows de 64 bits, debe asegurarse de que la VM utiliza el dispositivo de red Intel, ya que no hay compatibilidad con controladores de 64 bits para la tarjeta PCNet AMD; vea la sección llamada "Hardware de red virtual".
Si utiliza el asistente "Crear VM" de la interfaz gráfica de usuario de VirtualBox (consulte la sección llamada "Creación de su primera máquina virtual"), VirtualBox utilizará automáticamente la configuración correcta para cada tipo de sistema operativo de 64 bits seleccionado.
Entonces, solo intente crear una nueva máquina virtual y seleccione Ubuntu 64 como sistema operativo. VirtualBox debería configurar correctamente todos los ajustes y debería poder instalarlos sin problemas.