On 2022-03-10 08:35 UTC+0100, Christian Britz wrote: > ...and this is not the latest kernel available in pure Debian. It is This is what I got directly from Debian: Linux raspberrypi 5.10.0-12-arm64 #1 SMP Debian 5.10.103-1 (2022-03-07) aarch64 GNU/Linux -- http://www.cb-fraggle.de