Hello.
I think I found a solution for a full RetroPie installation with easy and fast switching from kodi as before.
It will take some time to test it completely and to make my scripts compatible with it but we will get there.
I was able to create a chroot from the RetroPie image that can be used to start emulationstation and the emulators just fine.
The downside is: It will take a whoopin’ 2GB of your SDcard without roms.
I may be able to get the size down long term though.