Si lo que quiers es ver avi, te recomiendo PSPlayer MT, más fácil imposible, solo tienes que convertir tus videos a 480x272 y con un máximo de 768kbps y listo, se ve de puta madre.
Y para mp4, pues el mismo reproductor del firmware oficial.
Un saludo