[tde-users] Re: Arm64 support