Ejecutar aplicación 64 bits sobre virtualbox

[franiortiz hotmail]

VirtualBox es compatible con sistemas operativos invitados de 64 bits, incluso 
en sistemas operativos host de 32 bits,...
https://www.virtualbox.org/manual/ch03.html
Disculpad que haya realizado la búsqueda, pero es que me sonó tener el mismo 
problema al intentar virtualizar una imagen maverick (64bits) y varios 
Linux-64bits y si pude, tan solo tuve que instalar la versión anterior de 
virtualbox para que me aparecieran sistemas de 64 bits en las opciones.