[Bug 1032032] devmem2 tries to read 64-bit value on 64-bit systems where 32-bit is expected