Por favor, tente este:
sudo dpkg-reconfigure virtualbox-dkms
VBoxManage --versão AVISO: O módulo do kernel vboxdrv não está carregado. Ou não há módulo disponível para o kernel atual (4.13.0-37-generic) ou não carga. Por favor, recompile o módulo do kernel e instale-o por
sudo /sbin/vboxconfig
You will not be able to start VMs until this problem is fixed.
5.2.8r121009
Estou enfrentando esse problema com o virtualbox após uma atualização da distro e já tentei rebaixar o kernel para 4.13.0-16-generic, mas ele não está funcionando! O Virtualbox ainda está procurando pelo kernel 4.13.0-37-generic.
Alguma sugestão?
Por favor, tente este:
sudo dpkg-reconfigure virtualbox-dkms