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

Bump toolchains/riscv-tools/riscv-isa-sim from 7812eab to 5ef9a61 #52