Originally Posted by gr2mx
Yes. I did extract the files before using them. (giving me : kernel-4.0.1.img, mmcblk0p1.img, mmcblk0p2.img)
Which two kernels are talking about. I used only the one provided in the link of my previous post to flash 'kernel' with fastboot ? Did I miss something ?
The archive containing the kernel was kernel-k4-4.0.1.img.gz, and not kernel-k4-4.0.1.img.tar.gz, and it contained only kernel-4.0.1.img when I extracted it
The site is then missing something - the "other" kernel.
I think your assumption that the "main" kernel is wrong now is the correct assumption. That must be a "diags" kernel at that download site.
@GM: Could you confirm, I don't recognize these things on-sight myself.