Tendras que flashear el boot.img con fastboot y despues hacer el restore.
Esta miui llevan ya bastante tiempo haciendola en la pagina de miui espaņa.ahora tardan mucho menos en ser estables porque toman como base las roms oficiales.a mi me encantaba miui pero la verdad que ahora no.el rendimiento lo veo igual o peor a la rom de htc.ademas esta toma como base la 4.0.3 y el firmware de sense 4.0.va bastante mejor la oficial de htc 4.0.4.aunque no he probado estas ultimas versiones,igual me equivoco.