@MCH so, were you able to get anywhere with eARC, or is the idea on hold for now?
Also, have you considered just plugging the RPi into the TV as a USB OTG gadget? In my case it doesn't work: the TV detects it as "Bluetooth Headphones", and doesn't route any sound there. Still, it heavily...