gpg: Introduce magic value 25519 to switch a card to ECC.