Un kernel es el programa mas importante del SO que inicia los procesos del sistema (demonios) y gestiona el acceso del software al hardware, los kernels overclockeados (por mi parte no recomiendo usarlos ya que el overclock mejora el rendimiento pero estruja el movil al maximo) vienen con las custom ROMs, las que van saliendo para el mini2 las puedes ver aca:
http://www.galaxy-mini-2.blogspot.com/p/roms.html?m=1 (algunas vienen con overclock)