[hw,rv_core_ibex,rtl] Add unconnected ports of the RVFI interface

[hw,rv_core_ibex,rtl] Add unconnected ports of the RVFI interface #4212