Fix sys_read32 return value from uint16_t to uint32_t. Current implementation causes read/modify/write of 32bit registers to fail on the high bits. Signed-off-by: Watson Zeng <zhiwei@synopsys.com>