Respondo para añadir más info.
Al parecer el "TUNED Kernel", que puedes encontrar
aquí, va muy bien para las rom LINEAGE (14, 15, 16 y 17).
En
este hilo también tienes una versión anterior del "TUNED Kernel".
Hay quien dice que es el mejor kernel para el S5, no sé si es cierto, pero los que lo han usado parecen muy contentos con él.