Merge S->X
Created by: silabs-robin
This PR does the periodical merge from core-v-verif:cv32e40s/dev
into cv32e40x-dv:main
.
Test status:
- ci_check - Passes (except for 2 known baddies).
- Internal Formal - Runs again (thanks to this).
- Core-v-verif Formal - (Not tested).