|
|
@@ -60,8 +60,7 @@ CONFIG_DEVPORT=y
|
|
|
# CONFIG_DMA_API_DEBUG is not set
|
|
|
# CONFIG_DMI is not set
|
|
|
CONFIG_DOUBLEFAULT=y
|
|
|
-CONFIG_EARLY_PRINTK=y
|
|
|
-# CONFIG_EARLY_PRINTK_DBGP is not set
|
|
|
+# CONFIG_EARLY_PRINTK is not set
|
|
|
# CONFIG_EDAC is not set
|
|
|
# CONFIG_EDD is not set
|
|
|
# CONFIG_EUROTECH_WDT is not set
|
|
|
@@ -302,7 +301,7 @@ CONFIG_X86_RDC321X=y
|
|
|
CONFIG_X86_REBOOTFIXUPS=y
|
|
|
# CONFIG_X86_RESERVE_LOW_64K is not set
|
|
|
# CONFIG_X86_UP_APIC is not set
|
|
|
-CONFIG_X86_VERBOSE_BOOTUP=y
|
|
|
+# CONFIG_X86_VERBOSE_BOOTUP is not set
|
|
|
CONFIG_X86_WP_WORKS_OK=y
|
|
|
CONFIG_X86_XADD=y
|
|
|
# CONFIG_ZONE_DMA32 is not set
|