sencha: match clint frequency to cheriot-rtos timer_hz

Bypass-Presubmit=+1
Bypass-Presubmit-Reason:collateral damage

Change-Id: I1332ed1ba6ec09ec4830620165c71cffbb078944

platforms/sencha_smc.repl

diff --git a/platforms/sencha_smc.repl b/platforms/sencha_smc.repl
index 9a25c28..86b3800 100644
--- a/platforms/sencha_smc.repl
+++ b/platforms/sencha_smc.repl
@@ -21,7 +21,7 @@
 
 // NB: match timer_hz in cheriot-rtos/sdk/boards/sencha.json
 smc_clint: IRQControllers.CoreLevelInterruptor @ sysbus 0x02000000
-    frequency: 66000000
+    frequency: 2000
     [0, 1] ->cpu1@[3, 7]
 
 // Control block for the SMC, lets us pause/restart the core at an arbitrary PC.