Servus,
spinnt das Gerät nur, wenn du auf TV umschaltest, oder reicht es, einfach nur die Antenne einzustecken? Oder anders gefragt: Funktioniert HDMI wenn die Antenne angesteckt ist?
Wollte ich gerade vorschlagen 
Du hast kein Service-Manual zur Hand mit den error codes? Bei elektrotanya.com mit der Chassis-Nr danach suchen
Das ergibt ja jetzt leider gar keinen Sinn. Warum soll das Display Supply nur bei Antennenempfang ein Problem haben 
Also wenn hier ein Softwareupdate keine Besserung bringt, sehe ich nur ein neues Mainboard als Lösung.
Versuchs mal mit nem Mantelstromfilter im Antennenweg vielleicht hast du Potential auf dem Antennenkabel
https://de.wikipedia.org/wiki/Mantelstromfilter
Hast du Kabel Satellit?Über externen Receiver probieren zb DVB-T!
Das mit dem Mantelstromfilter ist aber keine schlechte Idee. Ist billig.
Hat der TV überhaupt schon mal an diesem Anschluss funktioniert? Vielleicht ist der gegen Massepotential zu empfindlich und der andere TV nicht.
17 bedeutet, dass das POK (Power OK) vom Netzteil runterfällt.
Auf Seite 47 steht, dass dieses Signal vom LED-Driver zum Prozessor geht. Was hat das mit dem TV-Empfang zu tun? Irgendwie nix...
Hast du vielleicht die Rückbeleuchtung für TV-Empfang anders (aggressiver) eingestellt als für HDMI (falls das überhaupt geht)?