merge cva6/dev up to master branch
Hi @JeanRochCoulon
, the CV32E40X and E40S are executing a merge cycle from their respective dev branches to the master. So this is probably a good time to promote the latest updated for cva6/dev onto master as well.