Updated rvfi_intr modelling to use pipeline stages to make it cleaner…

Created by: halfdan-dolva

Updated rvfi_intr modelling to use pipeline stages to make it cleaner and more clear when it is set. Also added some todos. Passes ci_check.

Signed-off-by: Halfdan Bechmann halfdan.bechmann@silabs.com