Решение найдено в этом комментарии к отчету об ошибке:
https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1076603/comments/13 [!d1 ]
Временное решение (точное linux-изображение 3.8. *)
wget -O /tmp/virtualbox.patch 'http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=99;filename=vbox-wheezy.patch;att=1;bug=696011'
cd /usr/src/virtualbox-4.1.12/
patch -p4 < /tmp/virtualbox.patch
dkms autoinstall
Если вы не хотите перезагружаться, вам может потребоваться выполнить следующую команду:
sudo modprobe vboxdrv