Bem, aparentemente instalando o "PulseAudio Volume Controller" e mexendo na configuração resolvida. O computador ainda não reconhece os alto-falantes como conectados (ele literalmente diz "desconectado"), mas funciona quando eu o seleciono como uma saída ...