Bump toolchains/riscv-tools/riscv-isa-sim from 824ecdf to 4156e07

Bump toolchains/riscv-tools/riscv-isa-sim from 824ecdf to 4156e07 #2510