Just for completeness, I achieved the behavior I wanted by setting the mute value of the audiomux array to the same value as the external input. For this card, the options card=0x48 gpiomask=0x3d audiomux=1,0,3,3,3 achieved this.
Just for completeness, I achieved the behavior I wanted by setting the mute value of the audiomux array to the same value as the external input. For this card, the options card=0x48 gpiomask=0x3d audiomux=1,0,3,3,3 achieved this.