Merge S->X 2023.08.15 15.01
Created by: silabs-robin
This PR merges cv32e40s/dev
into cv32e40x/dev
, and updates x-dv
hash.
No conflicts needed resolving.
Test status:
- ci_check - Pass (except usual "clic" and "debug_test2")
- Formal - Still runable, no obvious problems.