Attualmente mi risulta solo il Franco anche se su XDA nascono nuovi kernel settimanalmente.
L'unico modo per essere sicuri è verificare la base di partenza del kernel da testare (solitamente ogni sviluppatore la specifica nella prima pagina di descrizione).