I will check the Apple TV for a coffee app, it should be one there !!
Now Kodi is a very low demanding software, it runs on a lot of underpowered boxes. I run it on the first generation Apple TV with one 1GHz Pentium M and 258 mb memory.
A bit sluggish, but much better experience than Kodi on Uno 4K.
So it is hard to believe that the super Uno 4K which can record, play and stream 8 4K signals simultaneously cannot run Kodi ???