Primero que nada, tienes Setool Box 3, por que de nada sirve que quieras conseguir esos archivos si no la tienes. Al menos creo yo que cuando tienes la Setool Box, esos archivos se encuentran en el servidor de ella misma.

En todo caso de que quieras flashear tu k850i, yo flashie el mio por D-Client, compre 0.5 logs y con eso fue sufiiente para poder flashear mi celular.

Ahora tengo la version R1EA037 y el reproductor de medios que seria lo mas lento de todo el cel, me anda bien rapido, se nota la diferencia en verdad y 0 bugs