Otra forma de flashear el Stock Kernel es con la misma herramienta que mencionas img_flasher_V2.0_faqbly_2.zip, ya que al flashear por ejemplo el savie y supongamos que se viene de Stock Kernel esta herramienta hace una copia del kernel anterior renombrandolo como OLD_BOOT.img que seria el Stock Kernel.
Lo que se tendria que hacer es renombrar este OLD_BOOT.img a BOOT.img y con la herramienta ya mencionada flashear desde CWM montando //System, entonces ya tendriamos el Stock Kernel en .img para flashear cuando queramos sin la necesidad del Intalador Hell Fusion. Si flasheamos por ejemplo desde cualquier otro kernel por ejemplo el Percy, tambien nos quedara el .img en este caso del Percy listo para ser flasheado con la herramienta ya mencionada.
Saludos!