I have just installed the kernel through the update manager. The kernel-default package is now 4.1.15-8.1 as are the associated devel packages.
Virtualbox now does not run a virtual machine with details:
The virtual machine 'Win7' has terminated unexpectedly during startup with exit code 1 (0x1).
Result Code: NS_ERROR_FAILURE (0x80004005)
Component: MachineWrap
Interface: IMachine {f30138d4-e5ea-4b3a-8858-a059de4c93fd}
It also provides a window called "VirtualBox - Error In suplibOsInit" with content:

Kernel driver not installed (rc=-1908)

The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing


as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.

where: suplibOsInit what: 3 VERR_VM_DRIVER_NOT_INSTALLED (-1908) - The support driver is not installed. On linux, open returned ENOENT.

There is no file '/sbin/vboxconfig'

I have run:

sudo /usr/sbin/rcvboxdrv setup
but this does not solve the problem returning:

Recompiling VirtualBox kernel module, NOT. It has been packaged.                          done
I have tried upgrading the VirtualBox packages using Yast but that did not help.

Any ideas anyone?