Revert "Make smc_plic.numberOfSources match top_matcha.h"

Revert submission 21323-top_matcha_irqs

Reason for revert: Breaks TimerService
Reverted Changes:
I40a840585:Make smc_plic.numberOfSources match top_matcha.h
I026a541a6:Move IRQ numbers to config lib and annotate with c...
I2873a0561:Make camkes IRQ numbers match top_matcha.h
Ida9efaf63:Make PLIC_MAX_NUM_INT match top_matcha.h

Change-Id: Ie5af235571d38525b39f79b7bb8bed1ede1e9887

platforms/smc.repl

diff --git a/platforms/smc.repl b/platforms/smc.repl
index 368eab4..a848c3d 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -43,7 +43,7 @@
     // Bit 11 corresponds MEIP and bit 9 to SEIP.
     0 -> cpu1@11
     1 -> cpu1@9
-    numberOfSources: 16  // kTopMatchaPlicIrqIdLastSmc @ top_matcha.h
+    numberOfSources: 15
     numberOfContexts: 2  // MEIP and SEIP
 
 uart5: UART.OpenTitan_UART @ sysbus 0x50000000