DebianのKali Linux仮想マシンにVirtualBoxゲストアドインをインストールできません（カーネルヘッダファイルのインストールに関する問題）

Kali Linux仮想マシンにVirtualBox Guest Additionsをインストールするには、次の手順を実行しました。ここ。

私は以下を実行しました：sudo apt-get update、、sudo apt-get upgrade（sudo rebootすべてのパッケージが実際にアップグレードされるまで）sudo apt-get install build-essential sudo apt-get install module-assistant、sudo m-a prepare

しかし、実行すると、次のようなsudo sh VBoxLinuxAdditions.run結果が得られます。

アドインのインストール...
vboxadd.sh: VirtualBox ゲストの追加を開始します。
vboxadd サービスを設定できません。ログファイルを確認してください。

ログファイルには次のように表示されます。

vboxadd.sh：失敗：問題を特定するには/var/log/vboxadd-install.logを確認してください。
vboxadd.sh：失敗：vboxguesの変更に失敗しました。

これは、カーネルヘッダファイルがインストールされていないために発生する可能性が高いです。

だから私は走りましたsudo apt-get install linux-headers-$(uname-r)が、次のようになりました。

E: linux-headers-4.9.0-kali3-amd64 パッケージが見つかりません。

apt-cache search linux-headersのみ表示：

Linuxヘッダ-4.12.0-kali1-all - [...]
[...]

私の質問は：なぜこの問題が発生し、どのように解決するのですか？
（これは私のホストシステムに問題がある可能性がありますか？間違った順序でタスクを実行するのに問題がある可能性がありますか？ゲストの追加isoを何とか再挿入する必要がありますか？）