K 10
svn:author
V 2
mw
K 8
svn:date
V 27
2018-12-20T01:05:09.091868Z
K 7
svn:log
V 279
Fix obtaining RSP address in TPM CRB for non-amd64 platforms

On amd64 the RSP address can be read in single 8-byte transaction,
which is obviously not possible on 32-bit platforms. Fix that
by performing 2 4-byte read on them.

Obtained from: Semihalf
Sponsored by: Stormshield

END