Update riscv/riscv-isa-sim digest to 1280c3c (#1746)

Update riscv/riscv-isa-sim digest to 1280c3c (#1746) #5778