¡Tranquilo!

Algo pasa con el kernel, sí. Con el 4.18.0-20 la salida de Pulseaudio es esta:
Y con el 5.4.0-47 esta otra:

Seguiré un tiempo con el 4.18.0-20 y haré pruebas con los nuevos kernels. ¡Gracias por tu esfuerzo!

Moderator: tomeu
¡Tranquilo!
Sí. He probado desconectarlo/conectarlo, conectarlo a otra entrada HDMI del TV y ahora estoy usando un cable DVI-HDMI y no cambia nada
No. El 4.15.0-117 sigue fallando
Sí, eso haré. ¡Gracias!