Hi Robert,
Thanks for your suggestion. This is getting quite heavily [OT] now, btw ;-)
The thing is, that sometimes you just do not want to tinker. LibreElec packaged for this kind of devices is designed to do one thing and do it well, and have been tested. These have exotic hardware and may require some special drivers etc. settings, which are not user friendly and well documended.
However all things considering I went ahead and installed Arch Linux on the Odroid, too. However seems that the gamestopper here is a buggy fb driver in Arch for the C1. It is just unusable (as in: no refresh rate control at all, console messages keep popping up over KODI UI, and hard lockups).
Considering that I needed quite a few steps to get going where I am now:
* follow this guide:
https://archlinuxarm.org/platforms/armv7/amlogic/odroid-c1
* follow this guide for the relevant parts (key mapping etc.):
https://wiki.archlinux.org/index.php/Installation_guide
* Install kodi-c1 and required dependencies, such as the buggy fb driver
* Enable bluetooth for bootup
* Fix keyboard issue with kodi (chmod /dev/ttyS0) and make the relevant service to make the keyboard usefull
Some things are better (such as CPU usage, which was constantly around ~20% on LibreElec, and keyboard layout control and proper userland). But the buggy FB driver makes this unusable! I suspect that the hard lockups are also caused by it.
So, for KODI usage, the current packages are not usable. I'll see if I can get the driver to work more stably and if I can get different refresh rates working (without a reboot; I can choose the video mode during bootup, but this is far from optimal for a video player)!.
In the meantime, for anyone eavesdropping: installing KODI trough Arch can not be recommended for the Odroid. Stick to LibreElec; it's not optimal but at least works.