Virtualbox - происходит сбой виртуальных машин Android x86 после обновления до 18.04

В целях тестирования я часто использую виртуальные машины Android x86 в Virtualbox (я знаю, что они официально не поддерживаются, но они работают нормально). До недавнего времени у меня были Virtualbox 5.1.34 и Ubuntu (Mate) 17, и все работало нормально.

Теперь я выполнил обновление моего дистрибутива с 17 по 18.04, и вместе с этим Virtualbox обновился до 5.2.10.

Всякий раз, когда я хочу запустить виртуальную машину Android x86 (у меня нет других систем), она загружается (или загружается, когда я запускаю ее из восстановленного снимка) нормально, но через несколько секунд происходит сбой (окно закрывается и состояние ВМ в меню: Прервано ). Это происходит с моими старыми виртуальными машинами, а также с некоторыми новыми виртуальными машинами, которые я пытался создать.

Я пытался прочитать журнал сбойной виртуальной машины, но я не совсем понимаю, что искать. Я вставил его здесь в pastebin . Журнал от Android 6.0 (64-разрядная версия), который загружался нормально (без снимка).

Я попытался понизить версию Virtualbox до 5.1.34, но apt-cache showpkg virtualbox говорит, что единственной версией, доступной для моей системы, является 5.2.10. После попытки понизить версию вручную, Virtualbox жалуется, что некоторые модули ядра имеют неправильную версию, и я не могу это исправить.

Что я могу сделать, чтобы мои виртуальные машины работали? Или мне просто нужно дождаться обновления для Virtualbox и надеяться, что оно решит мою проблему?