Address from JTAG loader was used incorrectly: it is in bytes, but SRAM address is in terms of 32-bit words.