1CONFIG_USE_OPTION_TABLE=y
2CONFIG_USE_BLOBS=y
3CONFIG_VENDOR_DELL=y
4CONFIG_BOARD_DELL_OPTIPLEX_9010=y
5CONFIG_ONBOARD_VGA_IS_PRIMARY=y
6# CONFIG_DRIVERS_UART_8250IO is not set
7CONFIG_PCIEXP_CLK_PM=y
8CONFIG_SEABIOS_PS2_TIMEOUT=3000
9CONFIG_POST_DEVICE_LPC=y
10CONFIG_HAVE_EM100_SUPPORT=y
11