You might want to reinstall 'odroid-xu3-libgl-x11'
The package was broken as it was pointing to the wrong commit. It was fixed by kmihelich (see
commit)
if you install this pkg and xf86-video-armsoc-odroid and add a xorg.conf (check meveric repository @ the odroid forums) it should give you a good starting environment to start thinking about kodi. You also need some udev rules for /dev/mali0 .I suppose this would work as I am using fairly modified PKGBUILDs for those pkgs.
To make sure you have a working base environment to install kodi just install glmark2, and check that glmark2-es2 tells you that you are in fact using the mali drivers. You can then discard any other msg about GL from programs as it is likely not the problem.
Now about kodi, I wish I could help you compile it but I have been busy trying to get a working retroarch environment working on x11 atm.Kodi is next on the list heh heh. But you could start by reading
this thread and modifying the kodi-odroid PKGBUILD. that is what i am planning to do anyways and Ill report back when I get there
And also check the github account of "gripped", you might find some inspiration there...