Acabo de instalar VirtualBox en un equipo Core i5 de cuarta generación, pero curiosamente al crear una máquina virtual no me aparecía la opción de 64 bits (en la lista de sistemas operativos todos aparecían como 32 bits). Y considerando el tipo de procesador era imposible pensar que mi hardware no soportaba sistemas de 64bits. Así que recurrí a Google.
Después de más o menos una hora leyendo y probando opciones, he descubierto que basta con activar la opción de virtualización desde la BIOS del equipo. Así de simple. Con esto ya tendremos la opción de 64 bits disponible en VirtualBox.
He leído (https://forums.virtualbox.org/viewtopic.php?f=6&t=57871)que la opción puede tener otro nombre dependiendo de si cuentas con un procesador Intel (VT-x) o un AMD (AMD-V). En mi caso la opción es la que se ve en la imagen. Les agradeceré que dejen en sus comentarios las opciones que les aparecen para enriquecer este tema.
