OSX-Einsteiger ein Haufen Bootargs die eigentlich nicht nötig sind bei Franziska1993 bzw. auch einfach nichts bewirken, ein Falsch eingestellter Wert für die SIP und komplett fehlende DevProps für die HD4000 die aber möglicherweise nötig sind damit der richtige Framebuffer geladen wird. Anbei mal wie ich denke das es gehen könnte: config.plist
Grundsätzlich wäre es aber wohl sinnvoll die EFI an das eigene System anzupassen auf lange Sicht minimiert einfach mögliche Fehlerquellen...