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