Creo que hay muy pocos reproductores de divx que te lean algo en HD (únicamente recuerdo ahora el KISS DP 600)

Para ver esos archivos AVI tendrás que usar un PC como fuente.

Un saludo