Fix for sound over hdmi cable