libreelec está basado en linux y hay varias roms cocinadas para smart tvs con chip amlogic. Ando buscando alguno barato y que soporte bien 4k, por eso preguntaba si lo habías probado.
Con Android y Kodi he leido muchos problemas, aunque hay quienes les sacan pelos a las calaveras...