if BOARD_LENOVO_THINKPAD_T430 config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select BOARD_ROMSIZE_KB_12288 select CPU_INTEL_SOCKET_RPGA989 select DRIVERS_RICOH_RCE822 select EC_LENOVO_H8 select EC_LENOVO_PMH7 select NO_UART_ON_SUPERIO select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select HAVE_OPTION_TABLE select HAVE_CMOS_DEFAULT select MAINBOARD_HAS_LPC_TPM select INTEL_INT15 select NORTHBRIDGE_INTEL_IVYBRIDGE select SANDYBRIDGE_IVYBRIDGE_LVDS select SERIRQ_CONTINUOUS_MODE select SOUTHBRIDGE_INTEL_C216 select SYSTEM_TYPE_LAPTOP select USE_NATIVE_RAMINIT select MAINBOARD_HAS_NATIVE_VGA_INIT select MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG select ENABLE_VMX select DRIVERS_LENOVO_HYBRID_GRAPHICS config HAVE_IFD_BIN bool default n config HAVE_ME_BIN bool default n config MAINBOARD_DIR string default lenovo/t430 config MAINBOARD_PART_NUMBER string default "ThinkPad T430" config VGA_BIOS_ID string default "8086,0166" config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID hex default 0x21f3 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID hex default 0x17aa config MMCONF_BASE_ADDRESS hex default 0xf8000000 config DRAM_RESET_GATE_GPIO int default 10 config MAX_CPUS int default 8 config USBDEBUG_HCD_INDEX int default 2 endif