Cuando vas a descargar de androidfilehost verás el md5, es un código que identifica de forma única al archivo y garantiza que lo que te has descargado es igual a lo que esta colgado.Hay muchos programmas para comprobarlo dede el pc(md5 checker...) o desde el note, elige el que más te guste.
En el caso de este kernel: md5 e0f415540bb066e8e3df03cb9fd8fbaf