J'ai trouvé une solution sur le forum anglais...
Il est conseillé de mettre en route RECALBOX...Une fois arrivé au menu, il faut débrancher l'HDM, lancer KODI avec X, attendre quelques secondes (environ 10) puis rebrancher le port HDMI...

ET là, miracle, KODI fonctionne...

Bon, si quelqu'un a une solution plus pérenne, je suis preneur...Sinon, j'espère que cela pourra être pris en compte pour une ultérieure correction.