Не ответ, но я могу подтвердить, что Virtual Box отлично работает на Ubuntu 13.10.
Виртуальный блок был установлен как файл .deb вместо использования репозитория виртуальных ящиков.
$ virtualbox --help | head -1
Oracle VM VirtualBox Manager 4.3.6
$ uname -sri
Linux 3.11.0-15-generic x86_64
$ lsb_release -d
Description: Ubuntu 13.10
$ modinfo vboxdrv
filename: /lib/modules/3.11.0-15-generic/updates/dkms/vboxdrv.ko
version: 4.3.6 (0x001a0007)
license: GPL
description: Oracle VM VirtualBox Support Driver
author: Oracle Corporation
srcversion: 1AA7B037C45EF6842CB7222
depends:
vermagic: 3.11.0-15-generic SMP mod_unload modversions
parm: force_async_tsc:force the asynchronous TSC mode (int)
Надеюсь, что это поможет вам.