Sembra di aver trovato una soluzione, almeno per questo caso particolare. Dato che conoscevo il numero della carta e del dispositivo assegnato da ALSA, non mi restava che aprire /etc/pulse/default.pa . nell'editor e cambia questa riga
#load-module module-alsa-sink
in questo
load-module module-alsa-sink device=hw:2,7
dove 2 e 7 sono le mie istanze particolari di numeri di carta e dispositivo. Questo ha creato un nuovo sink connesso al dispositivo corretto, che è stato quindi utilizzato come output predefinito.