En vez de hacer eso, simplemente instala un cIOS antes de empezar, y luego actualizas a 4.0 desde la configuración...
El resultado será EXACTAMENTE el mismo..
Instalando el de waninkoko y luego actualizando por el método oficial, no solo no estás haciendo nada, sino que además estás corriendo el riesgo de tener un bonito pisapapeles (ya se han visto varios casos)..
Saludos