Bump toolchains/riscv-tools/riscv-isa-sim from 824ecdf to 88fc84d

Bump toolchains/riscv-tools/riscv-isa-sim from 824ecdf to 88fc84d #2477