1 CONFIG_USE_OPTION_TABLE=y
3 CONFIG_BOARD_LENOVO_T400=y
7 CONFIG_DEBUG_RAM_SETUP=y
11 CONFIG_DEBUG_BOOT_STATE=y
12 CONFIG_DEBUG_ADA_CODE=y
13 CONFIG_H8_FN_KEY_AS_VBOOT_RECOVERY_SW=y
15 CONFIG_USE_X86_64_SUPPORT=y
16 CONFIG_ARCH_X86_64_PGTBL_LOC=0xfffe8000