[mbed-tls] Re: Are you requesting feedback about ED25519?