Anche da me problemi.
P. S. La rigenerazione del database non ha risolto il problema del pcm. Sigh.
onestamente è un problema davvero strano
ho provato a googlare e non trovo nulla di simile.
hai provato a staccare e riattaccare i connettori HDMI?
hai verificato le impostazioni sull'amplificatore?
potresti provare a collegare direttamente il cavo HDMi al televisore e vedere come si comporta con l'audio in questo caso (no ampli nel mezzo)