This is not directly kernel related as it
works fine for me on a RPi4 but I am a bit struggling with the setup:
The keyserver keys.gnupg.net was switched off some time ago.
Also
http://repo-ck.com/ is outdated regarding instructions as well as in signing the key.
Just fyi...