sim:config: Update shodan renode simulation platform

* Mailbox IRQ ID
* SEC core total interrupt

Note SMC regmap is still out of sync with MATCHA HW def, and it will be
handled in a later CL. (it is mismatched at ToT already)

Change-Id: Ib7ae4a531f0b1fafc9b9ba809f4cc2b238b65e2b

platforms/secure.repl

diff --git a/platforms/secure.repl b/platforms/secure.repl
index b2e0da0..1430f5a 100644
--- a/platforms/secure.repl
+++ b/platforms/secure.repl
@@ -138,7 +138,7 @@
     // Numbers on the right reference bits in the target MIP.
     // Bit 11 corresponds MEIP and bit 9 to SEIP.
     0 -> cpu0@11
-    numberOfSources: 193
+    numberOfSources: 190
     numberOfContexts: 1
 
 // AES               [‘h4110_0000 - ‘h4110_0FFF)   4KB AES Control

platforms/shodan.repl

diff --git a/platforms/shodan.repl b/platforms/shodan.repl
index 0109c26..243d75f 100644
--- a/platforms/shodan.repl
+++ b/platforms/shodan.repl
@@ -20,9 +20,9 @@
     }
     endpoint_a_name: "SEC"
     endpoint_b_name: "SMC"
-    wtirq_A -> plic@190    // kTopMatchaPlicIrqIdMailboxSecWtirq
-    rtirq_A -> plic@191    // kTopMatchaPlicIrqIdMailboxSecRtirq
-    eirq_A  -> plic@192    // kTopMatchaPlicIrqIdMailboxSecEirq
+    wtirq_A -> plic@187    // kTopMatchaPlicIrqIdMailboxSecWtirq
+    rtirq_A -> plic@188    // kTopMatchaPlicIrqIdMailboxSecRtirq
+    eirq_A  -> plic@189    // kTopMatchaPlicIrqIdMailboxSecEirq
     wtirq_B -> smc_plic@10 // kTopMatchaPlicIrqIdMailboxSmcWtirq
     rtirq_B -> smc_plic@11 // kTopMatchaPlicIrqIdMailboxSmcRtirq
     eirq_B  -> smc_plic@12 // kTopMatchaPlicIrqIdMailboxSmcEirq