virtualbox 5.2.10 backport module woes about cpu_tlbstate

[Harald Dunkel <harald.dunkel@aixigo.de>]

Hi folks,

trying to run virtualbox 5.2.10-dfsg-6~bpo9+1 on stretch I
get a problem with loading the kernel module:

May 03 08:55:30 dpcl082 systemd[1]: Starting LSB: VirtualBox Linux kernel module...
-- Subject: Unit virtualbox.service has begun start-up
-- Defined-By: systemd
-- Support: https://www.debian.org/support
--
-- Unit virtualbox.service has begun starting up.
May 03 08:55:30 dpcl082 kernel: vboxdrv: disagrees about version of symbol cpu_tlbstate
May 03 08:55:30 dpcl082 kernel: vboxdrv: Unknown symbol cpu_tlbstate (err -22)
May 03 08:55:30 dpcl082 virtualbox[18573]: Loading VirtualBox kernel modules...modprobe vboxdrv failed. Please use 'dmesg' to find out why ... failed!
May 03 08:55:30 dpcl082 virtualbox[18573]:  failed!
May 03 08:55:30 dpcl082 systemd[1]: virtualbox.service: Control process exited, code=exited status=1
May 03 08:55:30 dpcl082 systemd[1]: Failed to start LSB: VirtualBox Linux kernel module.
-- Subject: Unit virtualbox.service has failed
-- Defined-By: systemd
-- Support: https://www.debian.org/support
--
-- Unit virtualbox.service has failed.


Can anybody reproduce?

Every helpful comment is highly appreciated
Harri