It was late at night...so all the following is IIRC..
You need the libcdio-0.93-i486-1.xzm module
It should be available via USM
LOGIN AS ROOT
Copy the Kodi 17.1 module into /tmp and extract it.
(shorten the name of the resulting folder to kodi)
Extract the libcdio-0.93-i486-1.xzm module.
In ../usr/lib/ are two files (among others)
libcdio.so.16 (which is a link) and a shared library libcdio.so.16.0.0
Copy the two files into /tmp/kodi/usr/lib/
Now rebuild the module.
Open a terminal and run:
dir2xzm /tmp/kodi /tmp/kodi-17.1-whatever.xzm
If all goes well, the final module will be in /tmp
(and should work with porteus 4.0 32bit xfce).
