"Ahora vamos a descargar el kernel original o stock kernel de
aquí. En la parte de arriba aparece una serie de insecure kernel que NO nos interesa, bajamos para abajo y encontramos los "
Original Kernels". Aquí buscamos el que corresponda a nuestra versión o al que hayamos descargado de la otra página."
Extraido del manual para novatos de Pinxo, espero que te ayude.