Reproductor para usar Kodi con nueva TV 4k

Cualquier dispositivo s905 con LibreElec o Corelec montado te ire de bien para lo que quieres. Si quieres algo más de garantia en hardware Wetek o Minix.

Un detalle agregado al comentario del compa: el SOC S905X. Aunque todos funcionan bien, el X lo hace de forma muy, muy fluida.

Otros SOC que funcionan bien son los Rockchip. Lo mejor que puedes hacer es entrar en la página de Libreelec y mirar qué SOC están soportados de forma nativa.
Coreelec es un fork de Libreelec especial para los SOC de Amlogic.

Y ya tipo plug-and-play puedes mirarte una Vero 4K+. Funciona muy bien y el soporte que brinda el creador es excepcional (en inglés).
Dentro de la misma categoria y de origen hispano, tienes a Salón Digital.

Cómo ves no es difícil encontrar algo que funcione bien prescindiendo de Android (qué es un buen SO para teléfonos móviles) sin dejarse un pastón en el camino.

Ahora, si aparte te gusta jugar, la Shield es lo mejor de lo mejor de lo mejor.