Good ${greeting_time}, Kees!

28 May 2020 22:35:28, you wrote to All:

 KvE> Linux raspberrypi 5.4.42-v8+ #1319 SMP PREEMPT
 KvE> Wed May 20 14:18:56 BST 2020 aarch64 GNU/Linux

Duh...

gremlin@pi4:~ > uname -a
Linux pi4.lan 5.6.14rpi4 #2 SMP Tue May 26 16:57:50 UTC 2020 aarch64 GNU/Linux

gremlin@pi4:~ > rpm -q kernel-{image,modules,dts}-rpi4
kernel-image-rpi4-5.6.14-alt1.aarch64
kernel-modules-rpi4-5.6.14-alt1.aarch64
kernel-dts-rpi4-5.6.14-alt1.noarch


--
Alexey V. Vissarionov aka Gremlin from Kremlin
gremlin.ru!gremlin; +vii-cmiii-ccxxix-lxxix-xlii

... god@universe:~ # cvs up && make world
--- /bin/vi