¿Qué os parece el xiaomi mibox TV?

Si lo único que quieres es Kodi lo ideal en low-cost sería un reproductor que tenga soporte de OpenELEC o LibreELEC, que son distribuciones Linux que lo único que hacen es lanzar Kodi y no tienen nada más instalado, a diferencia de Android o de Linux "normales" (Ubuntu, Debian, Fedora, etc). Esto consume pocos recursos y hace que equipos de baja potencia y precio funcionen bien al quitarle todo lo que no sea imprescindible para Kodi. El LibreELEC se puede instalar en una tarjeta microsd y arrancar desde esa tarjeta, sin tocar lo que venga de serie en el dispositivo. Mejor LibreELEC que OpenELEC ya que actualiza más.
El LibreELEC está disponible oficialmente para
-PCs intel/AMD (no te interesa)
-Raspberry Pi
-HardKernel Odroid C2
-Wetek
-SolidRun Cubox-i
Y extraoficialmente hay soporte de varios chip AMLogic preferiblemente S905 (el del Xiaomi Mibox, Wetek Hub/Play2, Minix Neo U1 e incontables clones chinos, ojo que no en todos con SoC AML S905 chuta).

La opción más barata sería
-si te gusta cacharrear tú: montarte Raspberry Pi3 u Odroid C2
-si no te gusta cacharrear tanto: comprar un modelo chino con chip AMLogic S905 en el que chute el LibreELEC, o sea mirando primero en el foro oficial LibreELEC. O si lo puedes devolver fácilmente comprar uno a ciegas y si no se deja instalar (o si se cuelga o si no funciona la red) lo devuelves y a por otro.

-Un poco más caro (130€) un Wetek Play 2, que tiene soporte oficial de arranque dual LibreELEC/Android. Si compras la versión sin sintonizador TDT es un poco más barato (creo que 115 ó 120). El Wetek Hub sale por 100 pero tiene la mitad de RAM.

Puedes pregunar también en foros específicos de Kodi, los hay en español.