Hi matthijs,
The versions mentioned here come from the SoC downstream vendor branch. Aside from Toradex’s changes/fixes to the vendor branches, we simply follow what the vendor does with their versions. In your example, these are Toradex kernel downstream NXP branches.
Regards,
João Paulo