Не удается отключить 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, но безрезультатно. Ваш совет будет высоко ценится.