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

[pirx67]

When updating my system with the new kernel revision 3.13.0-34-generic via update-manager the virtualbox kernel modules
could not be built.

It seems that the virtualbox 4.1 series is not compatible with 3.13.0 kernels. It worked till 3.11.0-26-generic the last kernel
of the 3.11 series I have installed.

On another machine I manually installed a virtualbox 4.2 series release from the oracle repositories. That series seems to be compatible with the 3.13 kernels and builds without problems.

I attached the make.log file from the unsuccessful dkms run. For the kernel 3.13.0-32-generic it doesn't compile too.

ProblemType: Package
DistroRelease: Ubuntu 12.04
Package: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6
ProcVersionSignature: Ubuntu 3.13.0-32.57~precise1-generic 3.13.11.4
Uname: Linux 3.13.0-32-generic i686
NonfreeKernelModules: esdcan_pci331 esdcan_pci200
ApportVersion: 2.0.1-0ubuntu17.6
Architecture: i386
DKMSKernelVersion: 3.13.0-34-generic
Date: Fri Aug 15 17:02:28 2014
InstallationMedia: Ubuntu 12.04.2 LTS "Precise Pangolin" - Release i386 (20130213)
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: