Para tener VirtualBox 5.1 en nuestro Debian Stretch, debemos de hacer algunos pasos muy sencillos.

OBS:

• Usamos Debian Stretch de 64 bits.

Entramos a la terminal y tecleamos lo siguiente:
sudo nano /etc/apt/sources.list


Agregamos:
deb http://download.virtualbox.org/virtualbox/debian stretch contrib


Ahora guardamos los cambios (Control + o) y luego lo cerramos (Control + x).
Volvemos a entrar a la consola y escribimos:
gpg --keyserver keyserver.ubuntu.com --recv A2F683C52980AECF
gpg --export --armor A2F683C52980AECF | sudo apt-key add -
sudo apt update
sudo apt install virtualbox-5.1
sudo apt clean
sudo apt autoclean


Ahora descargamos el VirtualBox 5.1.28 Oracle VM VirtualBox Extension Pack. Entramos a la consola y escribimos:
wget -c http://download.virtualbox.org/virtualbox/5.1.28/Oracle_VM_VirtualBox_Extension_Pack-5.1.28-117968.vbox-extpack


Ahora instalemos el pack que hemos descargado recientemente.
Luego de estos sencillos pasos ya podremos usar VirtualBox 5.1.28 en Debian Stretch.