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...