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