This question already has an answer here:
I am trying to create a new 64-bit Windows 7 virtual machine inside a 64-bit Debian 7.3.0 instance running in VirtualBox. I am allowed to run 32-bit machines, but I can not create 64-bit machines, as shown in the picture. Why is this? I have hardware virtualization enabled on the host.