From 339e1d94c65def31998f746fa27f5a11b2bd2c3f Mon Sep 17 00:00:00 2001
From: Evgeny Egorochkin <phreedom@yandex.ru>
Date: Mon, 12 Aug 2013 05:30:10 +0300
Subject: [PATCH] Turning off PAE support which makes kernel unbootable on
 older hardware causes CRASH_DUMP option to disappear, so make it optional.

---
 pkgs/os-specific/linux/kernel/common-config.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index 0c3aca17e4e..d4021e735e6 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -186,7 +186,7 @@ with stdenv.lib;
   BT_HCIUART_H4 y # UART (H4) protocol support
   BT_HCIUART_LL y
   BT_RFCOMM_TTY? y # RFCOMM TTY support
-  CRASH_DUMP n
+  CRASH_DUMP? n
   ${optionalString (versionOlder version "3.1") ''
     DMAR? n # experimental
   ''}