Anyway - the new Raspi has potential to solve one of my problems. My TV has one 4K HDMI input, but my reciever is 1080P only. Unfortunatly the TV will only send stereo back down the ARC if the source is external. So I need a way of getting passthrough audio to the reciever.
Will it be possible to use the second HDMI to output the audio (with or without 1080P or lower video) while sending the full 4K video to the TV on the other HDMI?
I think this is possible from a hardware perspective.
We'll need a way for kodi to choose a different hdmi port for the audio
(possibly a different Sink, or maybe just a config option).
Don't hold your breath - there are more important things to support first,
but it's something I'll bear in mind.