Ich muss noch folgendes ergänzen: Der Grund, warum ich die Reihenfolge der Boot-Einträge ändern will, ist, dass der 1. Eintrag nicht funktioniert. Ich kann das System nur booten, indem ich F12 drücke und dann Eintrag 2 oder 3 manuell auswähle.
Mit efibootmgr sollte ich ja die gewünschten Änderungen vornehmen können, aber diese sind nicht persistent.
Weiterhin komme ich mit F2 nicht mehr ins BIOS.
Dies alles wohl, seit ich einen neuen Linux-Kernel installiert habe - im alten haben mir Treiber gefehlt.
Wer kann helfen?