tree 61e6cd4edeccd60b54b4f44990865c790f736cc3
parent 2d8f069472f9df09065716925711e11358ea625b
author Gilles Peskine <Gilles.Peskine@arm.com> 1569947985 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1570180143 +0200

Use standard terminology to describe the personalization string

NIST and many other sources call it a "personalization string", and
certainly not "device-specific identifiers" which is actually somewhat
misleading since this is just one of many things that might go into a
personalization string.