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

[James Wynne]

Setting up linux-headers-3.5.0-25 (3.5.0-25.38~precise1) ...
Setting up linux-headers-3.5.0-25-generic (3.5.0-25.38~precise1) ...
Examining /etc/kernel/header_postinst.d.
run-parts: executing /etc/kernel/header_postinst.d/dkms 3.5.0-25-generic /boot/vmlinuz-3.5.0-25-generic
Error! Bad return status for module build on kernel: 3.5.0-25-generic (x86_64)
Consult /var/lib/dkms/virtualbox/4.1.12/build/make.log for more inf

lsb_release -rd
Description: Ubuntu 12.04.2 LTS
Release: 12.04

 uname -a
Linux T410s 3.5.0-24-generic #37~precise1-Ubuntu SMP Thu Feb 7 22:09:59 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

ProblemType: Package
DistroRelease: Ubuntu 12.04
Package: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.2
ProcVersionSignature: Ubuntu 3.5.0-24.37~precise1-generic 3.5.7.4
Uname: Linux 3.5.0-24-generic x86_64
ApportVersion: 2.0.1-0ubuntu17.1
Architecture: amd64
DKMSKernelVersion: 3.5.0-25-generic
Date: Thu Feb 21 19:58:32 2013
InstallationMedia: Ubuntu 12.04.2 LTS "Precise Pangolin" - Release amd64 (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:

[Launchpad Janitor (janitor)]

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