Então, não encontrei exatamente uma solução, mas algo próximo a ela. Este post 2 sons de alerta diferentes tocando ao mesmo tempo em O Ubuntu 17.10 descreve um problema similar e então eu tentei transformar todos os sons de eventos com o dconf-editor no org.gnome.desktop.sound e agora todos os sons do sistema estão mudos.