Originally Posted by giorgio130
I can confirm the main 4.0.1 kernel is broken, and 4.0.0 kernel is compatible with a 4.0.1 partition. I think it's best to delete it from the list of downloads...
It would be better to replace it with a good kernel. I plan to check the lengths of the various kernels.