Merge cv32e40s
Created by: silabs-krdosvik
ci check passes. formal compiles
diff: What is not included from S are marked in red: https://github.com/silabs-krdosvik/cv32e40x-dv/compare/40x-dv-merge..silabs-krdosvik:cv32e40x-dv:merge_cv32e40s?expand=1/compare