HDMI / Display port (unplugged)

A napokban frissült a kernel csomag [4.4.0-157-generic] az Ubuntu 16.04 alatt. Az eddig jól működő HDMI audió eltűnt a választható hang kimenetek közül. Egyértelműen a kernel a ludas, mert az eggyel előbbi verzióval [4.4.0-154-generic] jól működik. A pavucontrol ablakában a "HDMI / Display port (unplugged)" látszik, az Ubuntu hang beállításoknál meg sem jelenik a listában.

Mit lehetne tenni, hogy ismét működjön? Tudja valaki a megoldást?