La Revolution está basada en 4.0.2, a mi me pasó lo mismo.
Si tienes nandroid backup no tienes que reinstalar, simplemente vete a restore - advanced restore - y elige boot.
Es una lastima, porque la revolution con la radio UGKL1 me está dando un rendimiento de batería acojonante, si esto encima lo mejora sería la bomba