diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 95c43f2..18b024b 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -63,7 +63,10 @@
           WQ_WATCHDOG y
           WQ_CPU_INTENSIVE_REPORT y
         ''
-        # RISCV_ISA_ZICBOM n
+        # Disable SMP so we don't have IPI
+        + ''
+          SMP n
+        ''
         ;
       }
     ];