我有一个 Raspberry Pi 2B，并安装了从 Kali 网站下载的带有内核 4.1.19-v7 的 Kali Linux 2016.2。它运行良好，但为了使某些实用程序正常工作，我需要更新可怕的 EDIMAX EW-7811 的无线驱动程序。我想从 Edimax 提供的源代码编译它们，所以我需要设置一个构建环境。
我已经在 Ubuntu 和 Raspbian 上完成了两次这样的操作，方法是安装 linux-headers 和 build-essentials，然后 make...等等。当我在 apt 中查找 linux-headers 时，我可以找到 4.8.* 的最新标头，但找不到映像附带的 4.1.19。
所以现在我看到 2 个选项，将 Kali 升级到 4.8 或搜索这个旧版本的标头。
- 我尝试进行 dist 升级并重新启动。仍为 4.1.19-v7 (cname -r)。
- 我安装了linux-image-4.8.0-kali1-armmp。安装没有错误，我的 /boot 文件夹有一些新选项，但重新启动后，uname -r 仍然给我 4.1.19-v7。
我并没有尝试构建新内核，只是从存储库进行更新。由于 RPi 映像不使用 grub，我到底如何告诉 pi 启动它刚刚安装的新内核？
kali/pi 进行 do-dist-upgrade 的方式是什么？是不是因为知道不行所以不升级？如果我成功了，我会破坏什么东西吗？如果我做不到这一点，我如何找到旧的标题，以便我可以构建并继续前进？我是不是找错了树？