common: Fix mmio_write64() to write high 32-bit offsetby 4 byte

The write32 parameter will used by adding set-reg command write32 option.

Signed-off-by: Tokunori Ikegami <[email protected]>

common.h

@@ -50,7 +50,7 @@ static inline void mmio_write64(void *addr, uint64_t value, bool write32)
 
 	if (write32) {
 		mmio_write32(addr, value);
-		mmio_write32(addr + 1, value >> 32);
+		mmio_write32((uint32_t *)addr + 1, value >> 32);
 		return;
 	}