id	summary	reporter	owner	description	type	status	component	version	resolution	keywords	cc	guest	host
16889	Kernel modules do not build with Linux 4.12 -> fixed in 5.1.24	nimportequi		"Possibly related to Ticket #16725.

When upgrading to Linux 4.12, /sbin/vboxconfig fails with the message 

vboxdrv.sh: Stopping VirtualBox services.
vboxdrv.sh: Building VirtualBox kernel modules.
vboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.

There were problems setting up VirtualBox.  To re-start the set-up process, run
  /sbin/vboxconfig
as root.
"	defect	closed	other	VirtualBox 5.1.22	fixed			all	Linux