[Pkg-virtualbox-devel] Bug#857354: could not insert 'vboxdrv': Exec format error - disagrees about version of symbol module_layout

[Nelson A. de Oliveira]

Package: virtualbox-dkms
Version: 5.1.16-dfsg-1
Severity: important

Hi!

Using virtualbox-dkms always worked like a charm.
But today, while trying to run virtualbox, I saw an error:

=====
The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or
there is a permission problem with /dev/vboxdrv. Please reinstall
virtualbox-dkms package and load the kernel module by executing
=====

Trying to modprobe vboxdrv I see:

=====
modprobe: ERROR: could not insert 'vboxdrv': Exec format error
=====

Reconfiguring virtualbox-dkms seems to run without any problems:

=====
# dpkg-reconfigure virtualbox-dkms

-------- Uninstall Beginning --------
Module:  virtualbox
Version: 5.1.16
Kernel:  4.9.0-2-amd64 (x86_64)
-------------------------------------

Status: Before uninstall, this module version was ACTIVE on this kernel.

vboxdrv.ko:
 - Uninstallation
   - Deleting from: /lib/modules/4.9.0-2-amd64/updates/dkms/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxnetadp.ko:
 - Uninstallation
   - Deleting from: /lib/modules/4.9.0-2-amd64/updates/dkms/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxnetflt.ko:
 - Uninstallation
   - Deleting from: /lib/modules/4.9.0-2-amd64/updates/dkms/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxpci.ko:
 - Uninstallation
   - Deleting from: /lib/modules/4.9.0-2-amd64/updates/dkms/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.

depmod...

DKMS: uninstall completed.

------------------------------
Deleting module version: 5.1.16
completely from the DKMS tree.
------------------------------
Done.
Loading new virtualbox-5.1.16 DKMS files...
Building for 4.9.0-2-amd64
Building initial module for 4.9.0-2-amd64
Done.

vboxdrv:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/4.9.0-2-amd64/updates/dkms/

vboxnetadp.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/4.9.0-2-amd64/updates/dkms/

vboxnetflt.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/4.9.0-2-amd64/updates/dkms/

vboxpci.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/4.9.0-2-amd64/updates/dkms/

depmod...

DKMS: install completed.
=====

But:

=====
# modprobe vboxdrv
modprobe: ERROR: could not insert 'vboxdrv': Exec format error
=====

In dmesg I can see:

=====
vboxdrv: disagrees about version of symbol module_layout
=====

I am running a 4.9.0-2-amd64 kernel, with packages installed:

linux-headers-4.9.0-2-amd64	4.9.13-1
linux-headers-4.9.0-2-common	4.9.13-1
linux-image-4.9.0-2-amd64	4.9.13-1

No other linux-image or linux-headers are installed.

Am I missing something?
Any ideas of what could be happening here, please?

Thank you!

Best regards,
Nelson

-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable-debug'), (200, 'unstable'), (100, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=pt_BR.UTF-8, LC_CTYPE=pt_BR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages virtualbox-dkms depends on:
ii  dkms  2.3-2

Versions of packages virtualbox-dkms recommends:
ii  virtualbox  5.1.16-dfsg-1

virtualbox-dkms suggests no packages.

-- no debconf information