Having been a very happy user of the Kodi mediacenter for several years, it was finally time to upgrade to a Raspberry Pi 3 and a Hifiberry DAC+ board for good sound.

For the sound setup I followed these instructions that made the new soundcard appear on Linux level, but not in OSMC (my current Kodi version of choice).

What finally made things work were two changes to the file /boot/config.txt (thanks to this thread):

• Added dtparam=audio=off
• Removed dtoverlay=lirc-rpi

I am currently listening to some music and the sound is really nice :-).