I’m just curious, what’s the advantage of using a dual boot setup for this, vs using the retropie Jessie image and installing Kodi to launch from ES?
Install Kodi from the restropie_setup script, then launch it from the ports menu. Alternatively, you could create a kodi folder in the roms folder like any of the emulators, move the kodi launch script from ports into the new folder, then edit es_systems.cfg to add a kodi section. (the setup script may actually add the new section in ES for you now.)
^^ my other hobby