Merge cv32e40s 2023.11.16 13.09
This PR merges s/dev into x-dv.
Rejection diff: https://github.com/silabs-robin/cv32e40x-dv/compare/merge_cv32e40s_2023.11.16-13.09..silabs-robin:cv32e40x-dv:theirs_cv32e40s_2023.11.16-13.09
Test status:
- Formal: Compiles, runs, no obvious problems.
- ci_check: OK