ARC audio choice
Would it be possible to choose which audio channel the TV should use?
e.g. 

Apple TV > HDMI audioset > ARC out to ARC TV. (HDMI 4)

If the TV is set to TV speakers, it will mute the audioset as default. 
If the TV is set to HDMI ARC, it will work via the audioset.

