acabo de probar un mkv a 720p de 8 gb y me lo ha reproducido perfectamente el DICE Player, directamente desde el disco duro externo. Es una maravilla el reproductor este

, hasta subtitulos me dejó cargarle.
PD: acabo de mirar la info del archivo y utiliza el perfil high, así que por lo menos si que reproduce el high en 720p
PD2: acabo de recodificar un archivo a 1920x1080 en mkv con perfil baseline y el DicePlayer lo reproduce perfectamente, indicando que está utilizando aceleración por hard (el candadito pone HW).
Si le fuerzo a que reproduzca por soft entonces si que va lagueado... por lo tanto lo del perfil baseline si que es cierto y el tegra2 si que acelera por hardware archivos .mkv en 1080p que tengan ese perfil...