To solve the sound out put HDMI install sudo apt-get install pulseaudio pavucontrol then access the app in menu > Sound & Video> PulseAudio Volume Control. In the Configuration tab choose ‘Digital Stereo (HDMI) Output’.