I've got most of the bits on the ARC module, still waiting for an HDMI breakout to arrive (the damn plug is too hard to hand solder). In the interim, I can maybe rig up an SPDIF signal into the CS8416. More easily, I can confirm the bus switches are doing the right thing under control from the I2C I/O expander...