Casualmente he tenido que hacer una nueva instalación desde cero de la versión de Kali Linux 2017.2.
Y me he encontrado con el problema de que no se puede instalar las linux-headers con el comando:
# apt-get update && apt-get install -y linux-headers-$(uname -r)
La alternativa es muy sencilla:
# uname -r
Esto nos muestra la versión del kernel:
4.12.0-kali1-amd64
Con esto podemos realizar una búsqueda de los linux-headers:
# apt-get search linux-headers | grep "4.12"
Y dentro del resultado de la búsqueda encontramos:
linux-headers-4.12.0-kali2-all
Así que procedemos a su instalación:
# apt-get install linux-headers-4.12.0-kali2-all -y
Una vez que hemos subsanado este problema, ya podemos efectuar la instalación de las Additions de Virtualbox, tal y como indiqué en esta entrada.
Pero nunca deja uno de aprender, la verdad es que esta vez me ha dado mas guerra de lo habitual, y buscando buscando he encontrado que se puede hacer lo siguiente:
Primero realizamos la actualización:
# apt update && apt -y dist-upgrade
Ya podemos instalar:
# apt -y install virtualbox-guest-x11
Y con esto y un bizcocho ya funciona correctamente el ratón y la pantalla de la máquina virtual.
SaluDOS.