To those of you interested in running Kodi on your RPi with the Wolfson/Cirrus card:
I've switched from OpenELEC to LibreELEC and just uploaded the first public build with support for the Wolfson/Cirrus card to my website
http://www.horus.com/~hias/libreelec-cirrus.html
If you have questions it's best to post them on the LibreELEC forum so that everything's kept at a single place.
https://forum.libreelec.tv/forum-40.html
so long,
Hias