No hace falta ir tan lejos.
En el recopilatorio de kernels (sección ROM y desarrollo), a la derecha hay dos símbolos: uno es la chincheta y otro es un clip. Si pinchas en el clip podrás ver todos los archivos subidos por lo foreros, entre ellos hay un montón de versiones de este kernel.
Un saludo.