Merge: master->x

Created by: silabs-robin

This PR merges "master" into "cv32e40x/dev".

There was only a minor conflict in uvma_rvfi_instr_mon.sv, fixed.

Passes ci_check. Passes rel_check. Formal works.