Update žádný neproběhl, já žádný nedělal, samo se to nestalo a nikdo jiný tam přístup nemá.
Dokončil jsem checksum kernelu na všech malinách, všechny jsou stejné (uname -a také), takže good.
Vytáhl jsem kernel z poškozené karty, je prostě jiný.
Zatím mám plán, že budu hlídat součet, pokud bude jiný, automaticky se nakopíruje nový kernel a proběhne reboot.
Bohužel, neřeší to příčinu problému.
SUK: Zkusím, už to že se liší velikostí (špatný 4594048 vs 4398008 bajtů ) mě celkem děsí.