
В общем, приходит пора перейти от VirtualBox как расширения к коробочному варианту. Тем более, что майнтейнер расширения, камрад

Я пару вечеров тыкал свою систему палочкой и пришёл к выводу, что самый простой способ апгрейда -
1) экспортировать все нужные виртуальные машины в ova файл(ы) на старой версии, без коробочной VirtualBox (1868 или более ранней)
2) снести расширение
3) апгрейдить хост
4) активировать VirtualBox
5) Импортировать машины из ova файла(-ов)
Прим, впрочем, Евгению (но не мне) удался и более быстрый способ. Видимо, зависит от квалификации - выбирайте.
В списке выше пп 1, 3 и 5 элементарны для камрадов, кому может понадобиться VirtualBox. По пп 2 и 4 пишу отдельные посты.