[manuf] TPM provisioning sequence needs to include generation of a 512 bit secret

[vbendeb]

Description

This secret needs to be reproducible by the chip in the specific state of the key ladder, and a derivative of this secret (usually the 16th order of hmac) needs to be reported and stored by the host during personalization.