When I try to launch a virtual machine from Virtualbox, it tells me that the Virtualbox kernel driver is not loaded, or there is a permission problem with /dev/vboxdrv.
Please reinstall the kernel module by executing
/etc/init.d/vboxdrv setup
as root.
It also tells me that I should install the DKMS package first (which I have done).
Now, the mentioned files to not exist in my system. How do I fix this?