https://www.wautom.com/2018/06/hdmi-sound-problem/