WALLY-lrsc fails in RV32 lockstep

Created by: jordancarlin

The wally-riscv-arch-test lrsc test is mismatching with ImperasDV for rv32gc.

$  wsim rv32gc tests/riscof/work/wally-riscv-arch-test/rv32i_m/privilege/src/WALLY-lrsc-01.S/ref/ref.elf --sim questa --lockstep

# Info (IDV) ---------------------------------------------------
# Info (IDV) Instruction executed prior to mismatch '0x8000003c(rvtest_entry_point+3c): 18bfa62f sc.w    x12,x11,(x31)'
# Error (IDV) GPR register value mismatch (HartId:0, PC:0x8000003c rvtest_entry_point+3c):
# Error (IDV) Mismatch 0> GPR x12
# Error (IDV)   . dut:0x00000001
# Error (IDV)   . ref:0x00000000
# Error (IDV) testbench.idv_trace2api.state_compare @ 1150: MISMATCH