Merge pull request #8232 from gilles-peskine-arm/rename-p256m-config

Rename p256m configuration option