Bump toolchains/riscv-tools/riscv-isa-sim from 9c190a0 to 1280c3c

Bump toolchains/riscv-tools/riscv-isa-sim from 9c190a0 to 1280c3c #2141