Add rvfi_halt and rvfi_intr to picorv32_axi and picorv32_wb
Add rvfi_halt and rvfi_intr to picorv32_axi and picorv32_wb

cliffordwolf/picorv32,cliffordwolf/picorv32,cliffordwolf/picorv32,cliffordwolf/picorv32