[Blind-sysadmins] Re: raspberry pi, kali linux, and re4son kernel