It doesn't matter if it's an mp4 och mkv, same happens, I have tried with SMP, VLC and some other player, I have tried the sound settings inside the player, and of cause in Settings Auido, whatever it looks like in System. I have tried xfce and kde branch. What I know is that it worked with that machine and cable with an (updated) older Siduction xfce installation. But that installation didn't manage the display on the tv as it should, therefore I installed kde that turned out to manage the display better for me.
Thank's for trying to help, but I need this machine to view movies now, I did a "dirty trick" installed MX-Linux latest KDE, and then it's working..... so sorry, but I can't test anymore.
In both Siduction and MX installations PulseAudio settings for the hdmi sound indicates "unplugged" although the sound and movie really works in MX but not in Siduction.