Ja, er hat aber nach dem offiziellen Kernel gefragt.

Ein rpi-update bringt einem den neuesten Kernel. Der offizielle hängt, aus Gründen der Stabilität, immer 3-4 Monate hinterher.

Man sieht den Unterschied oben an den unterschiedlichen Ausgaben von Debian und Arch. Das ist einer der Gründe, warum ich nebenher auch Arch Linux erforsche. Bei anderen Programmen, z.B. dem gcc, hängt Debian, aus Prinzip, 3-4 Jahre zurück. Manchmal will man auch mal mit dem neuesten Compiler testen.