Los pasos que se utilizan en el Galaxy Mini para cambiar de ROM no son exactamente iguales que para otros terminales, hay ciertas variantes.
El ROM Manager no suele ser compatible con el Galaxy Mini, hasta el momento solo tengo constancia de que la mayoría que lo ha utilizado le ha dado Brick tarde o temprano.
Tampoco se puede hacer Backup de una ROM Stock, siempre dará fallo.
Los pasos básicos que tienes que hacer estan en el tutorial de la firma del compañero que ya te respondió. Haciendo algo mas o algo de menos corres riesgo de enfrentarte al tipo de problemas que te estan surgiendo.