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