Unter Step 5 ist genau mein Problem beschrieben: "If formats are missing that you know your hardware is capable of then this points to there being either a driver problem or if using HDMI then it maybe a EDID handshaking problem. " Und das passt auch, da ich die gewünschten Formate hier NICHT sehen kann und XBMC sie deshalb auch nicht korrekt wieder geben kann!
EDID scheint korrekt zu sein, Driver habe ich jetzt alle möglichen Varianten ausprobiert. Scheint also ein Problem mit dem Treiber der HDMI Schnittstelle zu sein. Leider habe ich da schon alles durch, was irgendwie geht