1  CONFIG_USE_OPTION_TABLE=y
 2  CONFIG_VENDOR_LENOVO=y
 3  CONFIG_BOARD_LENOVO_T400=y
 4  CONFIG_NO_POST=y
 5  CONFIG_FATAL_ASSERTS=y
 6  CONFIG_DEBUG_CBFS=y
 7  CONFIG_DEBUG_RAM_SETUP=y
 8  CONFIG_DEBUG_SMBUS=y
 9  CONFIG_DEBUG_SMI=y
10  CONFIG_DEBUG_MALLOC=y
11  CONFIG_DEBUG_BOOT_STATE=y
12  CONFIG_DEBUG_ADA_CODE=y
13  CONFIG_H8_FN_KEY_AS_VBOOT_RECOVERY_SW=y
14  CONFIG_VBOOT=y
15  CONFIG_USE_X86_64_SUPPORT=y
16  CONFIG_ARCH_X86_64_PGTBL_LOC=0xfffe8000