[PD] 64 bit Gendy~ for raspberry pi/debian