1CONFIG_VENDOR_PROTECTLI=y 2CONFIG_BOARD_PROTECTLI_VP46XX=y 3CONFIG_TPM_MEASURED_BOOT=y 4CONFIG_SMMSTORE_SIZE=0x40000 5CONFIG_TPM2=y 6CONFIG_POST_IO_PORT=0x80 7CONFIG_PAYLOAD_EDK2=y 8CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y 9CONFIG_EDK2_BOOT_TIMEOUT=6 10CONFIG_EDK2_FOLLOW_BGRT_SPEC=y 11# CONFIG_EDK2_FULL_SCREEN_SETUP is not set 12CONFIG_EDK2_SD_MMC_TIMEOUT=10 13CONFIG_EDK2_SERIAL_SUPPORT=y 14