Не удается установить гостевые дополнения VirtualBox на виртуальной машине Kali Linux под Debian (проблемы с установкой заголовков ядра)

Я пытался установить гостевые дополнения VirtualBox на виртуальной машине Kali Linux, выполнив шаги здесь .

Я запустил: sudo apt-get update , sudo apt-get upgrade , sudo reboot (пока действительно все пакеты не были обновлены) sudo apt-get install build-essential sudo apt-get install module-assistant , sudo ma prepare

Но когда я запустил sudo sh VBoxLinuxAdditions.run , я получил:

Установка дополнительных модулей ...
vboxadd.sh: запуск гостевых дополнений VirtualBox.
Не удалось настроить службу vboxadd, проверьте файл журнала

В файле журнала написано:

vboxadd.sh: failed: Посмотрите /var/log/vboxadd-install.log, чтобы выяснить, что пошло не так.
vboxadd.sh: сбой: сбой modprove vboxgues.

Скорее всего, это произошло из-за того, что не были установлены заголовки ядра.

Следовательно, я запустил sudo apt-get install linux-headers - $ (uname-r) , но затем получил:

E: Не удалось найти пакет linux-headers-4.9.0-kali3 -amd64

apt-cache search linux-headers показывает только:

linux-headers-4.12.0-kali1-all - [...]
[...]

У меня вопрос: почему у меня эта проблема и как ее решить?
(Может быть, проблема в моей хост-системе, может быть, проблема в том, что что-то выполнило в неправильном порядке, стоит ли мне как-то повторно вставить iso гостевых дополнений?)