Re: [PD] do we need externals for ARMv8 in raspberry pi 3 and 4?