升级后Debian没有启动4.9.0-4内核

Question

昨天我升级了一台debian jessie。在将sources.list更改为以下内容之前，我已经安装了所有更新：

###### Debian Main Repos
deb http://deb.debian.org/debian/ stable main contrib non-free
deb-src http://deb.debian.org/debian/ stable main contrib non-free

deb http://deb.debian.org/debian/ stable-updates main contrib non-free
deb-src http://deb.debian.org/debian/ stable-updates main contrib non-free

deb http://deb.debian.org/debian-security stable/updates main
deb-src http://deb.debian.org/debian-security stable/updates main

deb http://ftp.debian.org/debian stretch-backports main
deb-src http://ftp.debian.org/debian stretch-backports main

升级进行得很顺利，但我无法启动内核4.9.0-4。等了几分钟后，我收到了以下消息：

不过，我仍然可以启动内核3.16.0-4-6866-PAE，这仍然是安装的。

我不太清楚我该从哪里开始寻找原因。有没有人知道如何开始调查？

顺便说一句:计算机是运行在Windows 2012 R2上的vm，它具有HyperV角色(所有当前的更新都已安装)。

Answer 1

我觉得这只是这个特定内核的问题。在安装4.13.0-0.bpo.1-686-pae之后，它将自动从它启动。不需要对系统进行进一步的修改来修复它。