Merge master into cva6/dev (state as of 2022-12-01)

Created by: zchamski

This is fast-forward merge after merging cva6/dev into master: no conflicts, no additional commits needed.

Singed-off-by: Zbigniew Chamski zbigniew.chamski@thalesgroup.com