Por si a alguien le sirve... dado que he visto que el método de este hilo y el superclick ha reportado fallos últimamente a la gente, probé con este otro:
http://forum.xda-developers.com/show....php?t=1321582
Y acabo de rootear un galaxy mini de Vodafone (con GB 2.3.5) sin problemas