Comment 55 for bug 1016165

virtualbox-guest-dkms
    version 4.1.12-dfsg-2unbuntu0.3
linux-headers-3.8.0-29
    version 3.8.0-29.42~precise1
linux-headers-3.8.0-29-generic
    version 3.8.0-29.42~precise1
linux-headers-3.8.0-29-generic-lts-raring
    version 3.8.0-29.42
linux-libc-dev
    version 3.2.1-52.78
libsdl1.2debian
    version 1.2.14-6.4ubuntu3

dkms
    version 2.2.0.3-1ubuntu3.1

This on a fresh install of Ubuntu 12.04.3 with upgrades,a new install of synaptic and various virtual machines with their front ends. I doubt that it is relevant but I did reuse my old home partition on the new install.

This fresh install is the result of a previous complete removal of dkms and reinstall causing the system to become unstable to the point of being unusable.

There are no other versions of linux-headers installed AFAIK

Trying to open a Debian 7.1 VM that was previously launchable yields:

Kernel driver not installed (rc=-1908)

The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing

'/etc/init.d/vboxdrv setup'

as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.

Failed to open a session for the virtual machine Debian7.1-64.
The virtual machine 'Debian7.1-64' has terminated unexpectedly during startup with exit code 1.

Details:
Result Code: NS_ERROR_FAILURE (0x80004005)
Component: Machine
Interface: IMachine {5eaa9319-62fc-4b0a-843c-0cb1940f8a91}

At the commandline typing: 'sudo /etc/init.d/vboxdrv setup'
Yields: 'command not found'

Searching in Synaptic for packages with 'vbox' in their name or description does not yield anything useful, ie. some packages for ISDN and libbox-dev.

Hope that helps!