Über das Panel vom Team RED (im HDF Image die F4 Taste) kann ein aktueller Treiber geladen und installiert werden.
Es sollen Verbesserungen beim CEC und CI dabei sein.
Ich kann bestätigen das mein Samsung TV jetzt selbstständig in den Standby geht wenn die Box in den standby wechselt und er wacht auch wieder auf.
Die Einstellungen dazu findet man im HDMI-CEC Setup (lang die blaue Taste drücken).

Im Anhang die Treiber für die Leute die manuell installieren wollen.