Define RVFI as cva6 parameter
Created by: JeanRochCoulon
WARNING: this PR is the little brother of https://github.com/openhwgroup/cva6/pull/1293. To be merged at the same time to keep cva6 functional.
Signed-off-by: Jean-Roch Coulon jean-roch.coulon@thalesgroup.com