Thanks for the update, Nicolas! Yes, I mean HDMI. What I understand from your response is that a fix is in the pipeline. We are waiting for it to propagate through the kernel branches to land in Tumbleweed. If that is a correct understanding, I'll be waiting for your next update once the fixed kernel starts rolling out.