Fix 32 bit errors

One formatting problem with UINT64 and a must check annotation on
read that only seems to exist in the 32 bit builds.

Signed-off-by: James Bottomley <James.Bottomley@HansenPartnership.com>
2 files changed