I’ve put together a script that generates Kodi game addons from the binaries available from libretro directly (no compiling). I’ve been testing it on Windows/Android/Linux/OSX and it seems to work pretty well, so I’ve expanded it to LE/CE addons. The git repository for the addons is here.
For ARMHF, you can install and use the Kodi addon repository here.
In testing the addons, many work, and some still don’t (any addon requiring GL for example doesn’t work, so they’ve been marked broken). I’ve tested a few of these with a base CoreElec and they seemed to work well. The status of the ones I’ve tested are listed in the readme.