Ao tentar adicionar a possibilidade de ter som simultaneamente em HDMI e alto-falantes, eu tentei isso instalando o Pulse e o paprefs. Não deu certo e também quebrou meu som. Então eu desinstalei pulseaudio para retornar como era, mas isso não aconteceu. Agora eu nem tenho som. Então eu instalei. Agora o problema é que não há dispositivo na lista de sons.