O problema poderia ser resolvido. Para outros, menciono abaixo os detalhes de como isso é resolvido. Eu fiz isso com a ajuda de Lonnie Best ([email protected]).
sudo sh -c 'echo "deb http://download.virtualbox.org/virtualbox/debian xenial contrib" >> /etc/apt/sources.list'
wget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | sudo apt-key add
sudo apt remove virtualbox
sudo apt update
sudo apt install virtualbox-5.2