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