ma io non ho il problema di scaricarli.
il problema riscontrato è che il kernel già pronto (alla dicitura "per chi non vuole cimentarsi in questa procedura, di seguito trovate i link dei kernel già pronti") una volta caricato su Odin, mi alla voce AP, mi da errore.
Provo adesso a generarlo da me dal file boot.img estratto dal link di cui sopra