Good ${greeting_time}, Benny!

29 May 2020 20:24:02, you wrote to me:

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

I really like homebrewed experts... try to guess who compiled this:

gremlin@pi4:~ > rpm -qi kernel-image-rpi4
Name        : kernel-image-rpi4
Version     : 5.6.14
Release     : alt1
Architecture: aarch64
Group       : System/Kernel and hardware
Size        : 47032832
License     : GPLv2
Source RPM  : kernel-rpi4-5.6.14-alt1.src.rpm
Build Date  : Tue 26 May 2020 19:04:00
Build Host  : gremlin.hasher.altlinux.org
Packager    : Gremlin from Kremlin 
Vendor      : ALT Linux Team
URL         : https://www.kernel.org/
Summary     : The kernel image itself


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

... :wq!
--- /bin/vi