ed25519: Use SHA-512 from OpenSSL

No idea why the OpenSSH guys didn't do that already and shipped it with
another copy of SHA-512.