Pues no se si te entendi bien. Si lo que quieres es elegir un archivo divx, darle a reproducir y que te despliegue un menu para elegir reproductor en este caso el de kodi...
O desde kodi acceder al archivo divx y reproducir eligiendo reproductor, en este caso te puedo decir que con mp4 no tienes problema si pones de reproductor el dvd player por defecto, con divx no probe, me parece que ya no tengo este tipo de archivos, si puedo probare.