Move the SMC PLIC to the address specified in top_matcha.h

Change-Id: I4ae8156f24598a333991a61672a0edcc8b8a8f9d

platforms/smc.repl

diff --git a/platforms/smc.repl b/platforms/smc.repl
index 2f4eaa6..473e0a8 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -36,7 +36,7 @@
     cpu: cpu1
 
 // SMC_PLIC
-smc_plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0x58000000
+smc_plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0x60000000 // TOP_MATCHA_RV_PLIC_SMC_BASE_ADDR @ top_matcha.h
     // Numbers on the left (0 ->) index PLIC GetGPIOs.
     //
     // Numbers on the right reference bits in the target MIP.