tree a0e456a6cd586c70dd10f396cb47b29e225efbd5
parent 5edb9427086a4cdc8e567bb8069db9d09a58e21b
author Gilles Peskine <Gilles.Peskine@arm.com> 1695235787 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1695235787 +0200

Give a production-sounding name to the p256m option

Now that p256-m is officially a production feature and not just an example,
give it a more suitable name.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>