nexus: Fix timer base address

Change-Id: Ife7b26c3cce6c34b7fe71ee555ef959b2cb030be
diff --git a/platforms/nexus_smc.repl b/platforms/nexus_smc.repl
index 3a59e96..23ba3c4 100644
--- a/platforms/nexus_smc.repl
+++ b/platforms/nexus_smc.repl
@@ -21,6 +21,6 @@
     frequency: 2500000
 
 // Timer for Cantrip software timer service.
-timer_smc_sw: @ sysbus 0x54030000
+timer_smc_sw: @ sysbus 0x54011000
     frequency: 2500000