Add the PC speaker back to the Geos platform.
Add DMI support in BIOS.
Signed-off-by: Philip Prindeville <philipp@redfish-solutions.com>
SVN-Revision: 26678
# CONFIG_ACPI is not set
-# CONFIG_DMI is not set
+CONFIG_DMI=y
+CONFIG_DMIID=y
CONFIG_CPU_SUP_AMD=y
CONFIG_GEODE_MFGPT_TIMER=y
# CONFIG_GEODE_WDT is not set
CONFIG_MGEODE_LX=y
# CONFIG_MOUSE_PS2 is not set
# CONFIG_PCIEPORTBUS is not set
-# CONFIG_PCSPKR_PLATFORM is not set
+CONFIG_PCSPKR_PLATFORM=y
CONFIG_PROCESSOR_SELECT=y
# CONFIG_SCx200 is not set
# CONFIG_SERIO_I8042 is not set