Bump toolchains/riscv-tools/riscv-isa-sim from 7812eab to a2dcf1f

Bump toolchains/riscv-tools/riscv-isa-sim from 7812eab to a2dcf1f #2547