grub nicht (oder nur kurz?) sichtbar nach Update

[KP97]

So, nachdem auch die Version 2.12~rc1-10 nicht das gewünschte Ergebnis brachte, war ich es leid, habe den Grub entfernt und bin auf systemd-boot umgestiegen.
Alles läuft perfekt wie es soll. Falls noch jemand Interesse hat, man kann systemd-boot auch starten ohne Grub zu entfernen. Das kann parallel laufen,
systemd-boot setzt sich "obendrüber".
Ich habe mal einen Ablauf geschrieben: 41974