Increase # of SMC PLIC interrupt lines to 32 in Renode and move the SMC software interrupt to #31 until it gets a hardware interrupt # assigned

Change-Id: I124d70f92f83697ba6960c17484abab07fd7e68e

platforms/smc.repl

diff --git a/platforms/smc.repl b/platforms/smc.repl
index a848c3d..2f4eaa6 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -43,7 +43,8 @@
     // Bit 11 corresponds MEIP and bit 9 to SEIP.
     0 -> cpu1@11
     1 -> cpu1@9
-    numberOfSources: 15
+    // Must be >= kTopMatchaPlicIrqIdLastSmc in top_matcha.h
+    numberOfSources: 32
     numberOfContexts: 2  // MEIP and SEIP
 
 uart5: UART.OpenTitan_UART @ sysbus 0x50000000
@@ -64,7 +65,7 @@
 // Timer for Kata software timer service.
 timer_smc_sw: Timers.OpenTitan_Timer@ sysbus 0x50030000
     frequency: 24000000
-    -> smc_plic@15
+    -> smc_plic@31
 
 // Tag memory for debugging
 sysbus: