Since I have external access to the raspberry microSD, I don't have to make a final decision on an OS.  I am currently testing whether raspbian (32bit) meets all my requirements.  I have already created a kali linux microSD and adapted the OS installation to the cyberdeck, kali linux only has the disadvantage for me that it contains a lot of packages which all have to be updated...