Ja der Rechner startet definitiv von dieser EFI (ich bearbeite/lese die config datei über den kext updater)
Wenn ich den Christmastheme lösche kommt wie du sagst ein Standardtheme.
In der config gibt es zwei "Theme" Nennungen: beim ersten wird anschließend "embedded" (vermutlich das Standardtheme) genannt, beim zweiten mein bevorzugtes "clover bootcamp". Selbst wenn ich beide in "clover bootcamp" umbenenne und das Christmastheme von der EFI lösche, erscheint das Standardtheme, welches leider wegen fehlender Beschriftung unbrauchbar ist.