Ich kenne keine derartigen Linux Kernelversionen um ehrlich zu sein, nur x.y.z. Alles dahinter hat mit Linux an sich normal nichts zu tun, und spezifiziert Modifikationen bzw. Patchlevels des Distributors? Lieber wäre mir eine exakte Raspbian Versionsnummer, so wie halt auch bei Debian üblich. In der Regel sagt das mEn in Summe sogar mehr über die Systemleistung aus, als die Kernelversion. Da sollte es wohl irgendein Release-File in /etc/ geben oder so?
Abseits davon aktualisiere ich das morgen, heute mag ich nicht mehr in der Datenbank herumreißen.
Edit: Es ist also immer der Buchstabe l, nicht die Zahl 1? Auch beim aktualisierten Kernel? Ich nehme das Mal so an (wohl wegen ARMv7l?). Sollte jetzt passen, aber bitte nochmal gegenkontrollieren. Das zweite Ergebnis wurde wieder aus den Zwischentaktergebnissen herausgenommen, weil sich hier ja das Betriebssystem verändert hat. Mußt also nicht extra einblenden lassen.