virtualbox-dkms 4.1.12-dfsg-2ubuntu0.2: virtualbox kernel module

[Dan Clarke]

Using a pretty much vanilla install of Ubuntu on an Sony Vaio (Intel) laptop, I ran the following command under root:
apt-get install virtualbox virtualbox-guest-additions-iso vde2 vde2-cryptcab kvm qemu ubuntu-vm-builder uml-utilities

The terminal output is on pastebin here: http://pastebin.com/C9qQe6ky

Hope this helps someone.

ProblemType: Package
DistroRelease: Ubuntu 12.04
Package: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.2
ProcVersionSignature: Ubuntu 3.5.0-27.46~precise1-generic 3.5.7.7
Uname: Linux 3.5.0-27-generic i686
ApportVersion: 2.0.1-0ubuntu17.2
Architecture: i386
DKMSKernelVersion: 3.5.0-27-generic
Date: Mon Apr 29 18:37:28 2013
InstallationMedia: Ubuntu 12.04.2 LTS "Precise Pangolin" - Release i386 (20130213)
MarkForUpload: True
PackageArchitecture: all
PackageVersion: 4.1.12-dfsg-2ubuntu0.2
SourcePackage: virtualbox
Title: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.2: virtualbox kernel module failed to build
UpgradeStatus: No upgrade log present (probably fresh install)
VirtualBox.ModInfo:

[Daniel van Vugt (vanvugt)]

Thank you for taking the time to report this bug and helping to make Ubuntu better. This particular bug has already been reported and is a duplicate of bug 1016165, so it is being marked as such. Please look at the other bug report to see if there is any missing information that you can provide, or to see if there is a workaround for the bug. Additionally, any further discussion regarding the bug should occur in the other report. Feel free to continue to report any other bugs you may find.