El problema de esos kernel es que se flashean por recovery.
Por éso te he puesto el otro, que es uno de emergencia para cuando no puedes acceder al recovery.
Prueba a descargarlo con otro navegador o desde otro sitio.
Yo siempre he podido bajarmelo, igual ahora hay algún problema con el servidor o vete a saber. Pero.deberia de poder bajarse.