Das würde schon funktionieren, geh zu S/L/E und kopier Dir die "ATI7000Controller.kext" auf den Desktop und die darin enthaltene info.plist wie folgt bearbeiten.
Unter
mit einem Editor Deiner Wahl einfügen, den Kext mit KextUtility wieder Installieren und schauen ob HDMI funktioniert.