kernel/nexus: more irq fallout

There's 1 fewer assigned irq so need to adjust so that irq mapping yields a valid/known result.

Bug: 295534548

Change-Id: Ib1bb250583d0d3445c0e10917d282a5533139b10

src/plat/nexus/config.cmake

diff --git a/src/plat/nexus/config.cmake b/src/plat/nexus/config.cmake
index 19c8adf..b0e7235 100644
--- a/src/plat/nexus/config.cmake
+++ b/src/plat/nexus/config.cmake
@@ -21,7 +21,7 @@
 
         INTERRUPT_CONTROLLER drivers/irq/smc_plic.h
         # Must be >= kTopMatchaPlicIrqIdLastSmc in top_matcha.h
-        PLIC_MAX_NUM_INT 43
+        PLIC_MAX_NUM_INT 42
     )
 else()
     unset(KernelPlatformFirstHartID CACHE)

tools/dts/nexus.dts

diff --git a/tools/dts/nexus.dts b/tools/dts/nexus.dts
index d6cbc85..975a4c6 100644
--- a/tools/dts/nexus.dts
+++ b/tools/dts/nexus.dts
@@ -73,7 +73,7 @@
       interrupt-parent = <&cpu0_intc>;
       interrupts = <9>, <11>;
       interrupts-extended = <&cpu0_intc 9>, <&cpu0_intc 11>;
-      riscv,ndev = <43>; // Must be >= kTopMatchaPlicIrqIdLastSmc @ top_matcha.h
+      riscv,ndev = <42>; // Must be >= kTopMatchaPlicIrqIdLastSmc @ top_matcha.h
       riscv,max-priority = <0x07>;
     };
     uart0: serial@54000000 {