我正在尝试更新到较新的内核，但遇到了一些问题 - /boot/grub/ 中引用新内核的 grub.cfg 不是在（重新）启动期间显示的 grub 菜单。（当使用例如 ukuu 或 grub config 编辑 grub.cfg 时，正在编辑的是 /boot/grub/grub.cfg。）
例如，在启动时我可以选择 4.4.0-93 作为最新版本，但在 /boot 中有 4.18.10-041810（以及其他版本），并且 grub.cfg 中引用了它。（这是我在启动时选择高级启动时看到的内容：http://i67.tinypic.com/8ysz9c.jpg）
/etc/default/grub 未经编辑，并且我尝试运行 update-grub，它完成且没有出现任何错误。
我已经使用locate查找了grub.cfg的另一个实例，但没有找到它（除了/boot/efi/EFI/ubuntu/中的一个，我认为它引用了/boot/grub/grub.cfg。我遗漏了什么？
（我正在运行 ubuntu 16.04。）