Navigation sounds in xbmc didn’t work for me in linux when using hdmi as my default audio device. This is quick and easy to fix. Simply add the following to /etc/asound.conf
Save the file and reboot. You should now have navigation sounds working over hdmi in xbmc.