Appena possibile modifico la guida inserendo il metodo e link per il flash di kernel alternativi, cmq sia il metodo descritto da s8vuoto e'corretto, solo una piccola precisazione:
il file img del kernel che volete flashare va copiato nella cartella "finlessrom" del pack (quella che contiene gli altri file img), una volta fatto cio potrete specificare in fase di flash il kernel voluto