Fix the repl files to work with the latest renode

This change does not affect the older versions, but add the explicit interrupt connection to the OpenTitan_Timer peripherals that now (after adding alerts) have more than one GPIO

Change-Id: Iee5675a52352fd4752fdc58da703fda6372dcd02

platforms/secure.repl

diff --git a/platforms/secure.repl b/platforms/secure.repl
index 76a1a37..8ed36f2 100644
--- a/platforms/secure.repl
+++ b/platforms/secure.repl
@@ -91,7 +91,7 @@
 // RV_TIMER          [‘h4010_0000 - ‘h4010_0FFF)   4KB RV Timer for Security Core
 timer: Timers.OpenTitan_Timer@ sysbus 0x40100000
     frequency: 24000000
-    -> cpu0@7
+    IRQ -> cpu0@7
 
 // USBDEV            [‘h4011_0000 - ‘h4011_0FFF)   4KB USBDEV
 // OTP_CTRL          [‘h4013_0000 - ‘h4013_3FFF)  16KB OTP Ctrl

platforms/smc.repl

diff --git a/platforms/smc.repl b/platforms/smc.repl
index bcfce13..fc6e91c 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -60,12 +60,12 @@
 // RV_TIMER_SMC, timer for Kata kernel.
 timer_smc: Timers.OpenTitan_Timer@ sysbus 0x50010000
     frequency: 24000000
-    -> cpu1@5
+    IRQ -> cpu1@5
 
 // Timer for Kata software timer service.
 timer_smc_sw: Timers.OpenTitan_Timer@ sysbus 0x50030000
     frequency: 24000000
-    -> smc_plic@31
+    IRQ -> smc_plic@31
 
 // Tag memory for debugging
 sysbus: