No Soundcard found on Kodibuntu using Nvidia GT 720

Hi

I upgraded the graphics card to a Nvidia GT 720 on my HP PC running Kodibuntu. The previous graphics card allowed me to transfer video and sound to my television via HDMI. Since I installed the Nvidia device, I first installed the Nvidia driver to get HD graphics working. However, the sound still does not work. When I open the Pulseaudio mixer or run aplay -l, both show that no soundcard can be found. I would guess that the GT 720 does support acting as a sound device that can push sound through HDMI? Please help.