我已经安装了内核 4.12.0-041200rc4-generic，从那时起，当我打开 Virtual Box 时，我得到了这个
root@machine:~# virtualbox
WARNING: The character device /dev/vboxdrv does not exist.
Please install the virtualbox-dkms package and the appropriate
headers, most likely linux-headers-generic.
You will not be able to start VMs until this problem is fixed.
试图修复它并得到这个：
root@machine:~# aptitude install linux-headers-generic virtualbox-dkms
linux-headers-generic is already installed at the requested version (4.4.0.78.84)
virtualbox-dkms is already installed at the requested version (5.0.40-dfsg-0ubuntu1.16.04.1)
linux-headers-generic is already installed at the requested version (4.4.0.78.84)
virtualbox-dkms is already installed at the requested …