Cv32e40s/merge dev to rel 24

Created by: silabs-robin

Same as the https://github.com/openhwgroup/core-v-verif/pull/1386 PR, but including the https://github.com/openhwgroup/core-v-verif/pull/1383 changes.