kernel: Enable EDD.

diff --git a/pkgs/core/kernel/config b/pkgs/core/kernel/config
index 5a43916b46b6fdd274dacef15e70104c553a660d..1ffdbaeb46b52a01b051f0975eeeaa8016e5b46d 100644 (file)
--- a/pkgs/core/kernel/config
+++ b/pkgs/core/kernel/config
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 # Linux kernel version: 2.6.34.1
-# Wed Aug 25 14:38:31 2010
+# Thu Aug 26 09:14:53 2010
 #
 # CONFIG_64BIT is not set
 CONFIG_X86_32=y
@@ -3279,6 +3279,7 @@ CONFIG_UIO_NETX=m
 CONFIG_X86_PLATFORM_DEVICES=y
 # CONFIG_ACER_WMI is not set
 CONFIG_ASUS_LAPTOP=m
+# CONFIG_DELL_LAPTOP is not set
 CONFIG_DELL_WMI=m
 CONFIG_FUJITSU_LAPTOP=m
 # CONFIG_FUJITSU_LAPTOP_DEBUG is not set
@@ -3309,10 +3310,11 @@ CONFIG_ACPI_CMPC=m
 #
 # Firmware Drivers
 #
-# CONFIG_EDD is not set
+CONFIG_EDD=m
+# CONFIG_EDD_OFF is not set
 CONFIG_FIRMWARE_MEMMAP=y
-# CONFIG_DELL_RBU is not set
-# CONFIG_DCDBAS is not set
+CONFIG_DELL_RBU=m
+CONFIG_DCDBAS=m
 CONFIG_DMIID=y
 # CONFIG_ISCSI_IBFT_FIND is not set