almeno fino alla versione di marzo, la revenge aveva un suo kernel, non il moun kernel.
non so se la versione di maggio sia passata a montare di default il moun kernel, ma ne dubito, lo avrebbe scritto nel changelog.
moun kernel e' un kernel a se stante rilasciato come tanti altri su xda, da flashare con twrp.