Hallo zusammen!
Ich hab nochmal das Forum durchforstet und hier steht die Lösung:
In der /etc/default/grub folgende Zeile auskommentieren:
GRUB_DISABLE_LINUX_UUID=true
Und dann sudo update-grub nicht vergessen.
Das hatte ich schon mal gemacht, aber vermutlich hat ein LinuxMint Update das mal zurückgestellt und Linbo 4.0 konnte besser damit umgehen?
Vielleicht hätte das den anderen ja auch anstelle eines Warmstarts geholfen?
Nach über 24 Arbeitsstunden seit Updatebeginn 7.1 > 7.2 (die Recherche, die ich zu Hause gemacht habe, ausgeschlossen, scheint jetzt alles wieder zu laufen…gut, dass ich LinuxMusterNet sonst so gerne hab…!
Grüße Noah