"reproducir Mkv 1080p" y Android TV no existe, por lo tanto ya tienes algo descartado...

Desde el TVIX no ha evolucionado mucho y tan sólo hay REALTEK más potente y Sigma más potente, pero no se han optimizado ni el software ni la forma de fabricar los aparatos...

A dia de hoy lo más estable es un TDTHD para reproducir MKV1080p24 de hasta 15Mbps ya que se hace todo por HW sin nada por el medio...

Los SMART TV no son lo que creíamos todos hace unos años ya que no hay apps decentes ni posibilidad de crearlas facilmente como puede suceder en android...