Hola mi buen
puntoinfinito Mira yo le regale a mi esposa el Sansung Gio S5660, es un celular muy parecido al mini, yo tenia instalado el OS 2.1 y queria hacerl lo mismo que tu porque con el 2.3 le puedes instalar algunas aplicaciones que no corren con el 2.1.
Lo que hice para subirlo de OS, solo fue bajar los drivers del Sansung Gio y luego desinstale el kies y lo volvi a instalar.
Ya estando instalado primero abri el kies y despues conecte el Gio e inmediatamente me detecto el kies una actualizacion de daba informacion de un numero que ni siquiera pensaba que fuera a ser el OS 2.3.4 o SEA EL GINGERBREAD la verdad fue casualidad o llamale como quieras pero tiene como un mes que tengo ahora el OS 2.3.4.
Yo creo que seria mas facil tener una actualizacion asi, que como lo lei en el tuto que estas tratando de seguir.
1._Creo que lo mas recomendable para tu caso seria desinstalar todo.
2._pasar el ccleaner pasando primero el limpiador y despues limpiar el registro con el mismo.
3._pasar tuneup 2012 one click y corregir problemas.
4._instalar drivers del Sansung Mini y el kies. Me supongo que de esa manera vas a tener el 2.3.4 porque ya esta liberado para los equipos Sansung de gama media.
Otra solucion seria meterle una ROM modificada pero la verdad a veces da muchos problemas secundarios.
Un saludo y suerte.