Dejame ver si entendi, lo que debo hacer es bajar
el K790_R1EG001_FS_AMERICA_2_RED49
que esta en la sección de descargas, y entonces con setool2 lite flashear el telefono y listo?