Gracias, txikirosi.
En realidad he utilizado un sistema alternativo que me ha funcionado, aunque me imagino que no será lo más correcto. Explico cómo lo he hecho, por si a alguien le sirve:
- He quitado los permisos de root a ROM MANAGER.
- Entro en ROM MANAGER
- Le digo que me instale el Clockworkmod
- Me sale el modelo de mi terminal
- Ves como el se baja el Clockworkmod para flashearlo
- Te pide permisos de root
- SE LO DENIEGAS el permiso para que no pueda flashearlo
- De esta manera ya te dirá que tienes instalado el 5.0.2.0 aunque tú realmente seguirás teniendo la versión 2.5.0.1
No creo que esto sea lo más ortodoxo, pero permite utilizar el ROM Manager manteniendo el Clockworkmod 2.5.0.1
Un saludo.