Package: linux-image-4.9.0-14-amd64 Version: 4.9.240-1 After unattended-upgrade on Debian Stretch we noticed that all machines are not booting with the new kernel. Sometimes after GRUB they just shut down sometimes we get a kernel panic (it seems to be similar to https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1896725) as the message is also related to "mp_irqdomain_activate"
Booting linux-image-4.9.0-13 works w/o problems. We tried several Xen hosts (6.0/6.5/7.0/7.2) all with the same result Kind regards -- Mit freundlichen Gruessen, Joerg Staedele : Trusted Network GmbH : Max-Planck-Str. 1 : D-85716 Unterschleissheim : Telefon: 089 / 54 80 163 - 0 : Telefax: 089 / 54 80 163 - 222 : Web: http://www.tnib.de : Geschaeftsfuehrer: Joerg Staedele, Stefan Kinner : Sitz der Gesellschaft: Unterschleissheim : Registergericht: AG Muenchen HRB 108 388 Die Informationspflichten zum Datenschutz, insbesondere zur Rechtsgrundlage zur Kundenkommunikation, finden Sie unter https://www.trusted-network.de/datenschutz