Eu baixei e instalei o mais novo virtualbox 4.3.20 para o meu Windows 7 (64-bit OS), mas quando eu quero instalar 64-bit Linux, o Novo -> Criar Máquina Virtual exibe apenas a 32-bitopção, nenhuma 64-bitopção. Alguém poderia dar alguma pista sobre esse problema? Muito obrigado antecipadamente!
amd64versão, correto?