Hi, I’m wondering whether you made any progress with this setup? I have a similar case which I’m documenting here Raspberrypi HDMI audio via ARC so far without any luck. Tldr; radio with a HDMI arc audio input, which I’d like to attach a RPI to via the HDMI audio output.