Bueno, para empezar un bitrate de 6000 Kbits/s es muy normalito, un bitrate alto para mi empieza a partir de los 10.000 Kbits/s.
Mi Popbox V8 es bastante menos potente que el A400 y puede con MKVs de 20 Mbits/s sin pérdida de fluidez.
Con disco interno el A300 es mas que suficiente para lo que quieres y cualquier Dune también te valdrá. La ventaja del dune es que puedes añadirle como accesorio el sintonizador TDT-HD que necesitas.
Saludos!!