Es que lo que no quiero es reflashear el kernel, la versión ICS tiene el mismo boot.img que la Revolution, y puedo hacer mis pruebas sin estar pegado al PC!
Edito: Bueno, pués modificando el link de descarga de la nueva versión ya he encontrado el servidor de descargas con las versiones anteriores. Probaré, a ver que tal...