Не удается отключить VT-x в VirtualBox

недавно меня попросили развернуть научное программное обеспечение, упакованное как образ VirtualBox (формат OVA). Я подготовил среду (Debian 7) - установил необходимые пакеты, включил DKMS, импортировал образ-однако, когда я попытался запустить виртуальную машину, я получил следующее сообщение:

Error: failed to start machine. Error message: VT-x is not available (VERR_VMX_NO_VMX)

Я немного прочитал и понял, что проблема заключается в том, что моя среда Debian работает как виртуальная машина Hyper-V (я не контролирую это), которая не поддерживает аппаратную поддержку "наборный" виртуализации. Поэтому я решил выключить режим VT-x с помощью следующих команд:

VBoxManage modifyvm <VM_NAME> –-hwvirtex off
VBoxManage modifyvm <VM_NAME> –-vtxvpid off

к сожалению, для обеих команд, я получаю следующие сообщения об ошибках:

VBoxManage: error: Unknown option: -–hwvirtex
VBoxManage: error: Unknown option: -–vtxvpid

Я также пытался выключить hwvirtexclusive, но безрезультатно. Ваш совет будет высоко оценен.