Sinceramente lo del kernel es una lotería y cada Galaxy es un mundo... Los que pasamos más tiempo en el apartado de roms lo saben, lo que a mi me va fenomenal a ti te puede ir fatal.
De los benchsmarcks ni caso... te puede marcar un valor enorme e irte como una tortuga.. Mucha gente está obsesinada con los benchmarks y solo cambiando un par de parametros en el kernel sacan números impresionantes, lo normal en este móvil ronda entre 8000 y 10000.
Si un kernel va bien ya lo notas en su fluidez y consumo (a partir de 2 o 3 ciclos de carga) no te hace falta un benchmark para saberlo.