The assembly only writes the low 4 bytes, and the HBD version only uses uint32_t bytes. Change-Id: Ie3694ecda511c231e55870df814cbae30e588073
Change-Id: I20c7b42631b579fade6cf7ebf6d4c69b2fcb5e5e