В рассылке обратили внимание, что переключение звука на второй порт hdmi не предусмотрено: https://lists.altlinux.org/pipermail/devel-sbc/2020-May/000125.html Надо добавить. Только вопрос, как сделать недоступным для rpi3 вывод на этот порт?
[#251143] DONE RPi-audioswitch.git=1.3-alt1