Update vec_controlblock IRQ numbers

Change-Id: Ibf25fd67099d230716d9ee75b292b0990aa8ac51

platforms/shodan.repl

diff --git a/platforms/shodan.repl b/platforms/shodan.repl
index 809aea3..e6fcc2e 100644
--- a/platforms/shodan.repl
+++ b/platforms/shodan.repl
@@ -28,10 +28,10 @@
     eirq_B  -> smc_plic@12 // kTopMatchaPlicIrqIdMailboxSmcEirq
 
 vec_controlblock :
-    HostReqIRQ -> smc_plic@11
-    FinishIRQ -> smc_plic@12
-    InstructionFaultIRQ -> smc_plic@13
-    DataFaultIRQ -> smc_plic@14
+    HostReqIRQ -> smc_plic@13           // kTopMatchaPlicIrqIdVcTopHostReq @ top_matcha.h
+    FinishIRQ -> smc_plic@14            // kTopMatchaPlicIrqIdVcTopFinish @ top_matcha.h
+    InstructionFaultIRQ -> smc_plic@15  // kTopMatchaPlicIrqIdVcTopInstructionFault @ top_matcha.h
+    DataFaultIRQ -> smc_plic@16         // kTopMatchaPlicIrqIdVcTopDataFault @ top_matcha.h
 
 // ISP               [‘h4200_0000 - ‘h4200_FFFF)  64KB ISP registers
 // DMA Ctrl          [‘h4201_0000 - ‘h4201_FFFF)  64KB DMA control interface