void UNALIGNED_PUT32 (uint32_t * addr32 , uint32_t val32 )
Stores the 32-bit value val32 into the address specified by addr32.