| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_VENDOR_LENOVO=y | |
| # CONFIG_POST_IO is not set | |
| # CONFIG_POST_DEVICE is not set | |
| CONFIG_BOARD_LENOVO_THINKPAD_T430=y | |
| CONFIG_BOOTBLOCK_NORMAL=y | |
| CONFIG_MAINBOARD_USE_LIBGFXINIT=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| CONFIG_DEBUG_RAM_SETUP=y | |
| CONFIG_DEBUG_SMBUS=y | |
| CONFIG_DEBUG_SMI=y | |
| CONFIG_DEBUG_SMM_RELOCATION=y | |
| CONFIG_DEBUG_SPI_FLASH=y | |
| CONFIG_DEBUG_BOOT_STATE=y | |
| CONFIG_DEBUG_ADA_CODE=y |