Virtualbox 5.0.40 is not working with the new kernel (4.13.0-26), but the new version of VBox (5.2) works fine.
Download it from VirtualBox page or add the source to your sources.list:
sudo sh -c 'echo "deb http://download.virtualbox.org/virtualbox/debian xenial contrib" >> /etc/apt/sources.list'
Add Oracle public key:
wget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | sudo apt-key
Virtualbox 5.0.40 is not working with the new kernel (4.13.0-26), but the new version of VBox (5.2) works fine.
Download it from VirtualBox page or add the source to your sources.list:
sudo sh -c 'echo "deb http:// download. virtualbox. org/virtualbox/ debian xenial contrib" >> /etc/apt/ sources. list'
Add Oracle public key:
wget -q https:/ /www.virtualbox .org/download/ oracle_ vbox_2016. asc -O- | sudo apt-key