Nachdem mich ein Umzug und ausführliche Renovierungsarbeiten davon abgehalten haben an meinem HDMI-Problem dranzubleiben, habe ich es nun endlich wieder ausprobieren können und siehe da es geht wieder.
Der Fix aus dem Phoronix-Artikel hat also funktioniert.
Verspäteten Dank an alle die sich hierauf gemeldet haben.