Der Framebufferpatch in deiner config.plist enthält u.a. den Eintrag
framebuffer-con1-alldata mit dem Wert: 01010900 00080000 C7010000 02060A00 00040000 C7010000
Die 4. dieser "Wertegruppen" enthält u.a.DisplayPort als Connector (0A): 02060A00
Du könntest versuchen, stattdessen HDMI (02) zu verwenden: 02060200
Also: 01010900 00080000 C7010000 02060200 00040000 C7010000
Ich würde allerdings nicht an der config.plist auf der Festplatte rumfuchteln. Stattdessen würde ich den EFI-Ordner auf einen FAT32 formatierten USB Stick kopieren und dann dort den Framebufferpatch anpassen und vom Stick booten. Ansonsten hat man nämlich ein Problem, falls die Änderung nicht funktioniert und das Display aus bleibt nach dem Booten. 