tree 0d62a726536679c4a7a0068a06e8c3bb8d6b821a
parent c744d99386adda801ea879814e47a08f73a94cc0
author Gilles Peskine <Gilles.Peskine@arm.com> 1564501367 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1564513718 +0200

Store key sizes in 16 bits in attributes

This is larger than the maximum key size introduced in the previous
commit, by design.

Make some room for flags (not used yet).