[РЕШЕНО] Виртуальные машины

Добрый день!
Проблема в следующем: после замены ядра ОС перестала запускаться VMware Workstation 9.0.1 build 894247; выдаёт следующее: Что касается VirtualBox, он запускается под хостом, создаёт гостевой ПК с заданными параметрами, но запустить этот "гостевой ПК" уже не удаётся.
Обычно обновление дистрибутива производил с помощью команды терминала sudo apt-get dist-upgrade и всё работало; только в этот поддался искушению попробовать релиз кандидат новой версии ядра и воспользовался статьёй http://compizomania.blogspot.ru/2013/05/linux-kernel-393-ubuntulinux-mint.html ядрышко взял отсюда:http://kernel.ubuntu.com/~kernel-ppa/mainline/
$aptitude search "linux-headers-$(uname -r)$"
i linux-headers-3.10.0-031000rc5-generic - Linux kernel headers for version 3.10.0 on 64 bit x86 SMP
$sudo ln -fs /usr/src/linux-headers-3.10.0-031000rc5-generic /lib/modules/3.10.0-031000rc5-generic/build
Прочее ПО работает корректно. Как поднять виртуальные машины?!

Вроде бы частично проблема решилась с Oracle VM VirtualBox после установки отсюда http://download.virtualbox.org/virtualbox/4.2.12/virtualbox-4.2_4.2.12-84980~Ubuntu~precise_amd64.deb
Остаётся додумать, что делать с VMware Workstation.

Как всегда ларчик просто открывался: проблема разрешилась выходом нового релиза
VMware-Workstation-Full-10.0.0-1295980.x86_64.bundle, который дружит с ядрами 3.10.*