Comment by pronoiac

A Raspberry Pi can help debug and fix HDMI CEC flakiness, with the right cable - https://johnlian.net/posts/hdmi-cec/