CONFIG_USE_OPTION_TABLE=y CONFIG_USE_BLOBS=y CONFIG_VENDOR_DELL=y CONFIG_BOARD_DELL_OPTIPLEX_9010=y CONFIG_ONBOARD_VGA_IS_PRIMARY=y # CONFIG_DRIVERS_UART_8250IO is not set CONFIG_PCIEXP_CLK_PM=y CONFIG_SEABIOS_PS2_TIMEOUT=3000 CONFIG_POST_DEVICE_LPC=y CONFIG_HAVE_EM100_SUPPORT=y