nicht angemeldet
Weil HDMI abwärtskompatibel zu DVI-D ist, und letzteres heutzutage als Grafiksignal von allen Grafikkarten ausgegeben werden kann (vor allem auch von Laptops hin zu deren digitalen Flachdisplays), dürfte der weitaus größte Teil von PC-HDMI-Ausgängen nur DVI-D (ohne Ton) mit HDMI-Stecker sein, weil man keine Ton-Hardware mit eingebaut hat.
Deine Vermutung widerspricht meiner persönlichen Erfahrung, dass HDMI-Ausgänge neuerer Laptops eigentlich immer auch Ton mit ausgeben.