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’.