Lo he hecho (los posts 1 y 2), no sé como pero me ha salido. La suerte del novato (que no nuevo). Primero en el portatil el ODIN llegó a "PASS" pero el movil no se reinició, entonces lo reinicié manualmente desde el modo download y se pegó toda la noche intentando arrancar sin conseguirlo. Luego le hice un wipe desde el modo recovery y luego, en modo download lo intenté otra vez desde otro ordenador, con mala suerte que daba error de usb, no obstante lo intenté y el ODIN dio "FAILED"pero bualá, se reinició el móvil y aparece instalada la rom GINGERBREAD 2.3.5, no me lo creo. posteriormente le instalé el kernel del paso 2 y ya de nuevo soy root. Ahora no sé si tentar a la suerte y seguir instalando alguna rom o no, o en tal caso hacerlo con el rom manager. Bueno, esta es la historia, ue se podría llamar manual de la chapuza, o, como escapar por los pelos, haaaay mi galaxy querido.