Lo mejor es que formatees, con eso no perderás el menú SDE. Entonces instala la versión oficial 4.0.6, luego instalas la versión rooteada, y por último quitas el Android Kernel para que siempre inicie con la rooteada. Es rápido y tendrás la seguridad de que tienes perfectamente instalado el firmware. Yo lo hice ayer y me va más fluido todo que con la 4.0.5.