Resolvendo erro de Kernel do Virtualbox

Esse erro ocorre quando é atualizado o kernel do GNU/Linux, sendo que o Virtualbox foi instalado sobre o kernel anterior. Então ele não é iniciado, pois o kernel atual não é o mesmo daquele que foi compilado na instalação.

Para resolver o problema, é muito simples, basta executar no terminal o seguinte comando:

/etc/init.d/vboxdrv setup


Espere a terminar a nova recompilação, em seguida execute normalmente suas máquinas virtuais.