Debian 升級到 stretch 後無法啟動 4.9.0-4 核心

昨天我升級了一個 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-686-pae。

我不確定我應該從哪裡開始尋找原因。有人知道如何開始調查嗎？

順便說一句：電腦是在具有 HyperV 角色的 Windows Server 2012 R2 上執行的虛擬機（已安裝所有目前更新）。

我似乎這只是這個特定核心的問題。安裝 4.13.0-0.bpo.1-686-pae 後，它會自動啟動。無需對系統進行進一步更改即可修復它。

引用自：https://serverfault.com/questions/889199