OP postado:
Aparentemente, o gnome-control-center precisa ser instalado. Se você vai para Iniciar - Configurações - Todos - Preferências - Som - Som - Saída e clique no HDMI, o som vai para a TV, se você clicar no seu som onboard, o som vai para os alto-falantes do computador. Eu tenho som HDMI para a TV agora.