Kernel 使用apt-get升级内核linux

我正在使用这些命令升级Ubuntu 14.04的内核版本：

sudo apt-get install linux-headers-3.13.11-bone12 linux-image-3.13.11-bone12 --fix-missing -y
sudo apt-get update
sudo apt-get dist-upgrade --fix-missing -y
sudo reboot

但是，重新启动后，内核版本仍然相同

有人知道怎么了吗

任何提示都会非常有用

---

谢谢

您是否通过执行

sudo update grub

和

sudo update initramfs-u

来更新引导加载程序？（但我想这应该是自动完成的。）你在引导加载程序菜单中看到了哪些内核版本？谢谢！我将尝试这些命令。我看到了3.12.10版本。您是否通过执行

sudo update grub

和

sudo update initramfs-u

来更新引导加载程序？（但我想这应该是自动完成的。）你在引导加载程序菜单中看到了哪些内核版本？谢谢！我将尝试这些命令。我看到了3.12.10版本。