virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6: virtualbox kernel module failed to build

[Marco Sperini]

problem during update of package

ProblemType: Package
DistroRelease: Ubuntu 12.04
Package: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6
ProcVersionSignature: Ubuntu 3.13.0-36.63~precise1-generic 3.13.11.6
Uname: Linux 3.13.0-36-generic x86_64
ApportVersion: 2.0.1-0ubuntu17.7
Architecture: amd64
DKMSKernelVersion: 3.13.0-37-generic
Date: Fri Oct 10 08:35:19 2014
InstallationMedia: Ubuntu 12.04.4 LTS "Precise Pangolin" - Release amd64 (20140204)
MarkForUpload: True
PackageArchitecture: all
PackageVersion: 4.1.12-dfsg-2ubuntu0.6
SourcePackage: virtualbox
Title: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6: virtualbox kernel module failed to build
UpgradeStatus: No upgrade log present (probably fresh install)
VirtualBox.ModInfo:

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Janos (janosbeaumont)]

This solved it for me:

I uninstalled virtualbox:
$ sudo apt-get remove virtualbox

    The following packages will be REMOVED:
    virtualbox virtualbox-dkms virtualbox-qt

I made sure dkms is installed:
$ sudo apt-get install dkms

and installed VirtualBox 4.3:
$ sudo apt-get install virtualbox-4.3

The existing virtualboxes and settings were not removed during this process, and everything seems to work fine. In fact, my WIndows guest seems to load faster now.

[Janos (janosbeaumont)]

Forgot to mention, I added the virtualbox repository earlier, not sure if you need to do that to install virtualbox-4.3, but in case you do, this is how I did it:

$ sudo sh -c 'echo "deb http://download.virtualbox.org/virtualbox/debian precise contrib" >> /etc/apt/sources.list.d/virtualbox.list'

when I tried to do "sudo apt-get update" after that, I got a key error:
  W: GPG error: http://download.virtualbox.org precise Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 54422A4B98AB5139

which I solved with this command:
$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 54422A4B98AB5139

then the update worked:
$ sudo apt-get update