--- trunk/kernel-magellan/config-3.8.5-magellan-r1-x86_64	2013/04/02 07:32:56	2145
+++ trunk/kernel-magellan/config-3.8.5-magellan-r1-x86_64	2013/04/02 07:56:00	2146
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 3.8.0-magellan-r1 Kernel Configuration
+# Linux/x86_64 3.8.5-magellan-r1 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -5306,6 +5306,8 @@
 # CONFIG_EDD_OFF is not set
 CONFIG_FIRMWARE_MEMMAP=y
 CONFIG_EFI_VARS=m
+CONFIG_EFI_VARS_PSTORE=y
+# CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
 CONFIG_DELL_RBU=m
 CONFIG_DCDBAS=m
 CONFIG_DMIID=y