O VirtualBox 5.0.40 não está funcionando com o novo kernel (4.13.0-26), mas a nova versão do VBox (5.2) funciona bem.
Faça o download da página do VirtualBox ou adicione a fonte ao seu /etc/apt/sources.list
:
deb http://download.virtualbox.org/virtualbox/debian xenial contrib
Se você usa uma versão diferente do Ubuntu do que a versão 16.04, use o nome apropriado em vez de xenial .
Adicione a chave pública do Oracle:
wget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | sudo apt-key add -
Atualize repositórios e instale virtualbox-5.2
:
sudo apt-get update
sudo apt-get install virtualbox-5.2
Em um de meus laptops, a VM não quis começar antes de remover o virutalbox-dkms:
sudo apt-get remove virtualbox-dkms
Após a atualização, tive um problema depois de iniciar a máquina virtual (veja VirtualBox - RTR3InitEx falhou com rc = -1912 (rc = -1912) ). Como sugerido no primeiro comentário, ele foi corrigido com a seguinte chamada:
sudo /sbin/vboxconfig