Silabs robin/pr/master merge 220224
requested to merge github/fork/silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s into master
Created by: silabs-robin
Merge procedure rel->master for the 3 cores.
Tested with "rel_check".
Failures:
- 40p fails twice in
corev_rand_debug_single_step(same as before)- (This has been known for a while, but we cannot prioritize finding out the cause)
- 40x fails in
cv32e40x_csr_access_test(This is known) - 40s, same fails as here
- (Note, there is active development in cleaning up 40s CEXes in formal right now)
The last few commits show the manual merges. This diff shows the manual 40x->40s merge.