Try opensbi without supervisor ext delegation

lagarto-ox.nix

@@ -326,6 +326,7 @@
       ];
       patches = [
         ./opensbi-timer-debug.patch
+        ./opensbi-dont-delegate.patch
         #./ox-alveo-platform-plic.patch
       ];
     });

opensbi-dont-delegate.patch

@@ -0,0 +1,13 @@
+diff --git a/lib/sbi/sbi_hart.c b/lib/sbi/sbi_hart.c
+index c366701..c5b5249 100644
+--- a/lib/sbi/sbi_hart.c
++++ b/lib/sbi/sbi_hart.c
+@@ -199,7 +199,7 @@ static int delegate_traps(struct sbi_scratch *scratch)
+ 		return 0;
+ 
+ 	/* Send M-mode interrupts and most exceptions to S-mode */
+-	interrupts = MIP_SSIP | MIP_STIP | MIP_SEIP;
++	interrupts = MIP_SSIP | MIP_STIP;
+ 	interrupts |= sbi_pmu_irq_bit();
+ 
+ 	exceptions = (1U << CAUSE_MISALIGNED_FETCH) | (1U << CAUSE_BREAKPOINT) |