Puedes modificarlos con el programa RomToolBox la imagen de inicio y la animacion.
con la app puedes poner unos customs que no estan mal..
los archivos se.encuentran en la carpeta /system/media
bootanimation.zip y shutanimation.zip.
lo que no se porque al.restaurar la.rom tuya original no te los ha reemplazado...
De todas formas la rom no es kitkat es 4.2 con Miui. aun no tenemos 4.4
