En la versión 4.0.1 si que había soporte de divx en el reproductor de fábrica, pero parece ser que no estaba lo suficiente depurado en la 4.0.2 ha quedado desactivado hasta nuevo aviso. Sin embargo el Dice Player funciona perfectamente, se pone a pantalla completa (oculta los botones del menú), reproduce vídeos en HD, incluídos los MKV sin problemas y permite aceleración por HW sin problemas. Para mí es el mejor.