virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6: virtualbox kernel module failed to build for kernel 3.13.0-32-generic (i686)

[J-M Bodart]

DKMS make.log for virtualbox-4.1.12 for kernel 3.13.0-32-generic (i686)
vendredi 15 août 2014, 11:50:19 (UTC+0200)
make: entrant dans le répertoire « /usr/src/linux-headers-3.13.0-32-generic »
  LD /var/lib/dkms/virtualbox/4.1.12/build/built-in.o
  LD /var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/built-in.o
  CC [M] /var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.o
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c: In function ‘vboxdrvLinuxUid’:
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:226:5: erreur: incompatible types when returning type ‘kuid_t’ but ‘RTUID’ was expected
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c: In function ‘vboxdrvLinuxGid’:
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:235:5: erreur: incompatible types when returning type ‘kgid_t’ but ‘RTGID’ was expected
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c: In function ‘vboxdrvLinuxEuid’:
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:244:5: erreur: incompatible types when returning type ‘kuid_t’ but ‘RTUID’ was expected
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:248:1: attention : contrôle a atteint la fin non void de la fonction [-Wreturn-type]
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c: In function ‘vboxdrvLinuxUid’:
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:230:1: attention : contrôle a atteint la fin non void de la fonction [-Wreturn-type]
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c: In function ‘vboxdrvLinuxGid’:
/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.c:239:1: attention : contrôle a atteint la fin non void de la fonction [-Wreturn-type]
make[2]: *** [/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv/linux/SUPDrv-linux.o] Erreur 1
make[1]: *** [/var/lib/dkms/virtualbox/4.1.12/build/vboxdrv] Erreur 2
make: *** [_module_/var/lib/dkms/virtualbox/4.1.12/build] Erreur 2
make: quittant le répertoire « /usr/src/linux-headers-3.13.0-32-generic »

1) The release of Ubuntu you are using, via 'lsb_release -rd' or System -> About Ubuntu
# lsb_release -rd
Description: Ubuntu 12.04.4 LTS
Release: 12.04

2) The version of the package you are using, via 'apt-cache policy pkgname' or by checking in Software Center
# apt-cache policy virtualbox-dkms
virtualbox-dkms:
  Installé : 4.1.12-dfsg-2ubuntu0.6
  Candidat : 4.1.12-dfsg-2ubuntu0.6
 Table de version :
 *** 4.1.12-dfsg-2ubuntu0.6 0
        500 http://be.archive.ubuntu.com/ubuntu/ precise-updates/universe i386 Packages
        500 http://be.archive.ubuntu.com/ubuntu/ precise-security/universe i386 Packages
        100 /var/lib/dpkg/status
     4.1.12-dfsg-2 0
        500 http://be.archive.ubuntu.com/ubuntu/ precise/universe i386 Packages

3) What you expected to happen
The automated kernel update should have succeeeded in compiling the needeed kernel module for virtualbox

4) What happened instead
Virtualbox was running fine with previous kernel version, but failed to launch after kernel update

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: nvidia
ApportVersion: 2.0.1-0ubuntu17.6
Architecture: i386
DKMSKernelVersion: 3.13.0-32-generic
Date: Fri Aug 15 11:50:25 2014
InstallationMedia: Ubuntu 10.04.1 LTS "Lucid Lynx" - Release i386 (20100816.1)
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: