What is strange, the system looks ok. I mean, I see all the output, can select HDMI output. There are no errors in dmesg, and so on. Only, there is no sound If I again find this nvidia thread, I will post it here. It was an official nvidia developers forum.. I agree, the fix should be there.
Does the BIOS have any audio options? .. perhaps a switch for AC97/HD-Audio? - If yes what happens if you change them? Have you also experimented with all the available audio devices listed in Kodi?
Yes, I experimented with everything I found. There is exactly this option AC97/HD-Audio in bios, tried them both and see no change in Kodi - the audio devices look the same, and no sound when I select HDMI. Is there any preference here? BIOS suggest to use HD-Audio.
I also tried playing sound from console, using speaker-test, or aplay. Also tried to load pulseaudio sink for HDMI output on the card. Nothing helped. There is not even any error, speaker-test seems like it's playing..
I understand there isn't much we can try this way, so was looking mainly for some basic steps to get closer in such situation.
On your ION board, all works fine from the beginning?