Как настроить PulseAudio для отправки правильного сигнала S/PDIF (или IEC958) через HDMI?

В какой-то предыдущей версии Ubuntu я мог бы заставить звук работать, если бы принудительно конвертировал пульсаудио в 44100 Гц, но, похоже, в 20.04 он не работает (по крайней мере, в большинстве случаев). https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1829364

Интересно, какие настройки мне следует использовать в daemon.conf или где-то еще, чтобы звук работал через кабель HDMI с использованием моего оборудования?