64-битный хост VirtualBox с 64-битным гостем переключается на 32-битные виртуальные машины

У меня есть две 64-битные (аппаратные) машины. На каждом из них у меня установлена ​​только что установленная 64-битная виртуальная машина, на которой работает Ubuntu:

$ dpkg-query -W virtualbox 
virtualbox      6.0.6-dfsg-1
$ uname  -a
Linux zubu 5.0.0-13-generic #14-Ubuntu SMP Mon Apr 15 14:59:14 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux  

Поскольку эта виртуальная машина является пробным экземпляром того, что будет новым хостом Ubuntu аппаратной версии, я тестирую ее для (между прочим) VirtualBox. Итак, это необычное место, где у меня есть:

- A base system (call it "host 0"), running VirtualBox, where:
- ...a guest host, call this "host 1", runs VirtualBox, where:
- ...another guest runs.  "host 2".

На «хосте 0», когда мы загружаем новую ВМ, 64-битные версии появляются в списке опций.

Там мы создаем успешную 64-битную Ubuntu. Нет проблем, о которых я знаю. Это «хозяин 1». Насколько я могу судить, эта виртуальная машина представляет собой 64-битный экземпляр. В окне «Настройки ...» в разделе «Система» -> «Ускорение» в поле «Включить VM-x / AMD-V» установлен флажок «по умолчанию». В случае, если это имеет значение, «Enable Nested Paging» также устанавливается по умолчанию «on».

Но теперь, когда я запускаю «VirtualBox» внутри этой виртуальной машины, все эти параметры отображаются, как указано выше, но когда я пытаюсь создать виртуальную машину из этого процесса, появляются только 32-разрядные параметры. Итак: 64-битный (аппаратный) хост запускает 64-битный (виртуальный) хост, который «отказывается» конфигурировать 64-битный гость.

Я знаю, что это необычная компоновка, и она не имеет смысла в долгосрочной перспективе, но я хотел бы иметь возможность протестировать свое оборудование на виртуальной машине, прежде чем запустить ее по-настоящему.

Есть ли какой-то переключатель, о котором я не знаю?