| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_VENDOR_LENOVO=y | |
| CONFIG_BOARD_LENOVO_T400=y | |
| CONFIG_NO_POST=y | |
| CONFIG_FATAL_ASSERTS=y | |
| CONFIG_DEBUG_CBFS=y | |
| CONFIG_DEBUG_RAM_SETUP=y | |
| CONFIG_DEBUG_SMBUS=y | |
| CONFIG_DEBUG_SMI=y | |
| CONFIG_DEBUG_MALLOC=y | |
| CONFIG_DEBUG_BOOT_STATE=y | |
| CONFIG_DEBUG_ADA_CODE=y | |
| CONFIG_H8_FN_KEY_AS_VBOOT_RECOVERY_SW=y | |
| CONFIG_VBOOT=y | |
| CONFIG_USE_X86_64_SUPPORT=y | |
| CONFIG_ARCH_X86_64_PGTBL_LOC=0xfffe8000 |