x86/geode: enable DMI and Geos support (fixes #20512)

Signed-off-by: David Woodhouse <[email protected]>

SVN-Revision: 46986

target/linux/x86/geode/config-default

@@ -10,9 +10,13 @@ CONFIG_ALIX=y
 CONFIG_CS5535_CLOCK_EVENT_SRC=y
 CONFIG_CS5535_MFGPT=y
 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
+CONFIG_DMI=y
+# CONFIG_DMIID is not set
+# CONFIG_DMI_SYSFS is not set
 # CONFIG_EISA is not set
 # CONFIG_EL3 is not set
 CONFIG_GEODE_WDT=y
+CONFIG_GEOS=y
 CONFIG_GPIOLIB=y
 CONFIG_GPIO_CS5535=y
 CONFIG_GPIO_DEVRES=y
@@ -29,6 +33,7 @@ CONFIG_I2C_BOARDINFO=y
 CONFIG_ISA=y
 # CONFIG_KEYBOARD_GPIO is not set
 # CONFIG_LANCE is not set
+# CONFIG_LEDS_CLEVO_MAIL is not set
 CONFIG_LEDS_GPIO=y
 # CONFIG_M486 is not set
 # CONFIG_MDA_CONSOLE is not set