here we are http://ix.io/4mmx
I have also previously tried updating the bios and checking it to see of anything that might turn off the hdmi for sound. I also have previously had a version of kodi running on debian on the same box without the same issue. I wouldnt mind the bluetooth sound so much but it also keeps dropping its connection multiple times when watching videos and thats annoying.