CONFIG_VENDOR_FACEBOOK=y CONFIG_BOARD_FACEBOOK_FBG1701=y CONFIG_CPU_MICROCODE_CBFS_LOC=0xFFF8B000 CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y CONFIG_CPU_UCODE_BINARIES="3rdparty/intel-microcode/intel-ucode/06-4c-04" CONFIG_VENDORCODE_ELTAN_MBOOT=y CONFIG_VENDORCODE_ELTAN_VBOOT=y CONFIG_VENDORCODE_ELTAN_VBOOT_KEY_FILE="3rdparty/vboot/tests/devkeys-acc/key_hadoken.vbpubk2" CONFIG_RUN_FSP_GOP=y CONFIG_DISPLAY_HOBS=y CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y