Merge cv32e40s 2023.11.24 18.10

Created by: silabs-robin

This PR merges s/dev into x-dv.

The diff is a bit small, but I think I'd rather just do this merge often than forgetting it and getting very big diffs later. The rejection diff is somewhat larger though.

Rejection diff: https://github.com/silabs-robin/cv32e40x-dv/compare/merge_cv32e40s_2023.11.24-18.10..silabs-robin:cv32e40x-dv:theirs_cv32e40s_2023.11.24-18.10

Test results:

• ci_check - All green.
• Formal - Compiles, runs, no obvious problems.