Keine Ahnung, da ich die andere EFI, von der du gesprochen hast nicht kenne.
Ich möchte dich bitten, das du dich mal mit der Prüfung von Unterschieden zwischen deiner aktuellen und der "anderen" EFI auseinander setzt.
Lege dabei deinen Schwerpunkt auf die Elemente, die du bereits erwähnt hast:
ZitatIch muss nur die "für mich spezifische Device-properties" einsetzen und meine "Serial und SMUUID" eintragen.