Jaquers: Alguien sabe por que no logro tener audio por HDMI en Debian?
Tengo el mismo problema. 
Yo lo cambio en el panel de configuración de audio. Deberían aparecer dos salidas luego de conectar el HDMI.
El cambio no es automático entonces siempre que se conecte el cable hay que ir a cambiarlo a los settings
Eso con gnome. No sé con otros manejadores
Yo uso KDE y lo he cambiado en todo lado, tanto en el panel del DE como en en pavucontrol
Antes me servía, meses atrás. Dejé de usar el audio saliendo por HDMI y recientemente lo intente de nuevo y negativo. Terminé conectando un parlante. 
Probé la vara en Gnome y ahí sí sirvió sin cambiar nada
¡changos! ahora comienzo a pensar que puede que esa un problema en el tele. (que no uso)