Yo te puedo recomendar MeanROM v2.4 no las mas actuales si quieres hacer OV y eres novato porque el creador hizo ajustes para que el procesador siempre este en OnDemand y si quieres cambiar a Performance en SETCPU o similares te bota los ajustes.
Y respecto al Kernel, si, le funciona de pi a pa.
