I've implemented the support of the Ed25519 keys in the PKCS#11 support of ssh-agent which will be of interest to other users. The PR is available at https://github.com/openssh/openssh-portable/pull/230