Hallo,
ich bin gerade via [1] auf 922478 gestoßen. Demnach bootet der aktuelle Stretch-Kernel linux-image-armmp/linux-image-armmp-lpae in Version 4.9.144-3 gerade nicht durch.
In Verdacht steht ein Debian-Patch. Einen Fix gibt es offenbar bereits, aber der ist noch nicht offiziell veröffentlicht.
Im Bugreport gibt es außerdem Meldungen, welche vermuten lassen, dass auch linux-image-686 betroffen sei. Diese sind allerdings sehr unspezifisch.
[1] https://www.golem.de/news/linux-debian- ... 39456.html