Ya como han indicado más arriba, entre las dos, yo me quedaría con la tcl. Ambas tienen realtek como cpu, pero el del tcl, es algo mejor (no recuerdo donde vi las especificaciones concretas).
La xiaomi tv es más actual, pero debe estar más cara.
Sobre la caja Android posteada, no es 4k, ni tiene...