si o puede cambiar el orden o las ubicaciones de los archivos, pero es asi. yo siempre flasheo primero la imagen y luego voy al recovery y flasheo la ROM.
EDITO1. El comando devices es optativo. Es más yo no lo uso.
EDITO2. Estoy probando el kernel alternativo y me ha subido algo de 1000 pero no llegó a los 16000 que vi unos post atrás.
Otra cosa: se dieron cuenta al flashear este kernel, cuando termina el flasheo en la última línea dice algo como, installing next virus

