Pour commencer, les packs de codec sont tous de véritables merdes sans nom, tout juste bonnes à foutre le bordel dans un OS.
Ensuite, un lecteur de DivX fonctionne sous Linux, enfin, un petit OS dérivé, donc, oublie l´installation sur ce genre de platine.
Ces platines ne gèrent pas tous les codecs. C´est con, mais c´st comme ça.
La seule chose que tu puisses faire, c´est mettre à jour le firmware de ta platine. C´est une image ISO à télécharger sur le site du constructeur, à graver et sur laquelle tu vas booter pour flasher ton firmware, un peu comme on flashe un BIOS.