The SmartCard-HSM relies on the CC-certified crypto library of the SmartMX2 security controller and that does not support ed25519. Unfortunately NXP has no plans to add support in that library, so we are unable to support that in our code either.
There is also little demand from the markets for which this chip is produced (large scale card deployments like banking, government, health), so I’m not optimistic that the situation will change.
Additionally, there is no real benefit of those curves over NIST and Brainpool curves when used in a secure element. The use case for ed25519 are private key operations in software, where a buggy implementation (i.e. weak randomness) can break ECDSA. In a security controller that is not really an issue (theoretically yes, practically no).