Originally Posted by NiLuJe
@geekmaster: Thanks! I can provide 5.1.0 diags/main kernels if the current ones are borked.
They should only be "borked" if their length was a multiple of 1024 plus 1 to 64 extra bytes, and that extra was not just padding. I think most kernels are okay, but they can be checked by extracting with the new getkernels and see if the new ones are larger than the old ones. If not larger, the old ones are fine.