O que você está pedindo é chamado de virtualização aninhada. Infelizmente, o Virtualbox não suporta isso agora. Você pode seguir a solicitação de recurso no ticket do Virtualbox aqui.
As configurações "HardwareVirtEx *" que você está vendo referem-se à instalação de nível superior do Virtualbox e se pode usar os recursos de virtualização de hardware da CPU. Meu entendimento é que não tem nada a ver com suporte para virtualização aninhada.
Uma possível solução alternativa pode ser usar o VMWare ou outra plataforma de virtualização que ofereça suporte à virtualização aninhada.
Boa sorte!