diff --git a/pkgs/os-specific/linux/zen-kernel/2.6.31-zen0.nix b/pkgs/os-specific/linux/zen-kernel/2.6.31-zen0.nix
index 72d75118fad..a0d7bc8e459 100644
--- a/pkgs/os-specific/linux/zen-kernel/2.6.31-zen0.nix
+++ b/pkgs/os-specific/linux/zen-kernel/2.6.31-zen0.nix
@@ -22,8 +22,20 @@ in
   };
 
   preConfigure = '' 
+    killOption () {
+      sed -re "s/$1=[ym]/# $1 is not set" -i .config
+    }
+    setOptionMod () {
+      sed -re "s/# $1 is not set/$1=m" -i .config
+    }
+    setOptionYes () {
+      sed -re "s/# $1 is not set/$1=y" -i .config
+    }
+
     make allmodconfig
 
+    killOption CONFIG_IMA
+
     cp .config ${config}
   '';
 })