1  CONFIG_VENDOR_FACEBOOK=y
 2  CONFIG_BOARD_FACEBOOK_FBG1701=y
 3  CONFIG_CPU_MICROCODE_CBFS_LOC=0xFFF8B000
 4  CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
 5  CONFIG_CPU_UCODE_BINARIES="3rdparty/intel-microcode/intel-ucode/06-4c-04"
 6  CONFIG_VENDORCODE_ELTAN_MBOOT=y
 7  CONFIG_VENDORCODE_ELTAN_VBOOT=y
 8  CONFIG_VENDORCODE_ELTAN_VBOOT_KEY_FILE="3rdparty/vboot/tests/devkeys-acc/key_hadoken.vbpubk2"
 9  CONFIG_RUN_FSP_GOP=y
10  CONFIG_DISPLAY_HOBS=y
11  CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y