使用apt-get升级内核linux

Question

我使用这些命令在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

但是，重启后，内核版本仍然是一样的。

有人知道出了什么问题吗？

任何提示都会非常有用，

由于