Update kabylake model config

models/galp3-b/coreboot.config

@@ -74,6 +74,7 @@ CONFIG_TSEG_STAGE_CACHE=y
 # CONFIG_VENDOR_PCENGINES is not set
 # CONFIG_VENDOR_PORTWELL is not set
 # CONFIG_VENDOR_PURISM is not set
+# CONFIG_VENDOR_RAZER is not set
 # CONFIG_VENDOR_RODA is not set
 # CONFIG_VENDOR_SAMSUNG is not set
 # CONFIG_VENDOR_SAPPHIRE is not set
@@ -119,8 +120,8 @@ CONFIG_HAVE_INTEL_FIRMWARE=y
 CONFIG_MRC_SETTINGS_CACHE_SIZE=0x10000
 # CONFIG_SPI_FLASH_INCLUDE_ALL_DRIVERS is not set
 CONFIG_TPM_INIT=y
-# CONFIG_DRIVERS_UART_8250IO is not set
 # CONFIG_VBOOT is not set
+# CONFIG_DRIVERS_UART_8250IO is not set
 CONFIG_DIMM_MAX=2
 CONFIG_TPM_PIRQ=0x0
 CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="Galago Pro"
@@ -132,7 +133,6 @@ CONFIG_FSP_M_FILE="$(obj)/Fsp_M.fd"
 CONFIG_FSP_S_FILE="$(obj)/Fsp_S.fd"
 CONFIG_FSP_S_CBFS="fsps.bin"
 CONFIG_FSP_M_CBFS="fspm.bin"
-CONFIG_CPU_ADDR_BITS=36
 CONFIG_DEFAULT_CONSOLE_LOGLEVEL=7
 CONFIG_MAINBOARD_VERSION="galp3-b"
 # CONFIG_DRIVERS_PS2_KEYBOARD is not set
@@ -140,10 +140,13 @@ CONFIG_DRIVERS_INTEL_WIFI=y
 CONFIG_PCIEXP_L1_SUB_STATE=y
 CONFIG_SMBIOS_ENCLOSURE_TYPE=0x09
 CONFIG_HEAP_SIZE=0x80000
+CONFIG_CONSOLE_POST=y
 # CONFIG_BOARD_SYSTEM76_GAZE14_1650_15 is not set
 # CONFIG_BOARD_SYSTEM76_GAZE14_1650_17 is not set
 # CONFIG_BOARD_SYSTEM76_GAZE14_1660TI_15 is not set
 # CONFIG_BOARD_SYSTEM76_GAZE14_1660TI_17 is not set
+# CONFIG_BOARD_SYSTEM76_GALP4 is not set
+# CONFIG_BOARD_SYSTEM76_DARP6 is not set
 # CONFIG_BOARD_SYSTEM76_GALP2 is not set
 # CONFIG_BOARD_SYSTEM76_GALP3 is not set
 CONFIG_BOARD_SYSTEM76_GALP3_B=y
@@ -152,7 +155,6 @@ CONFIG_BOARD_SYSTEM76_GALP3_B=y
 # CONFIG_BOARD_SYSTEM76_DARP5 is not set
 CONFIG_MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID=0x1558
 CONFIG_MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID=0x1413
-CONFIG_CONSOLE_POST=y
 CONFIG_PXE_ROM_ID="10ec,8168"
 CONFIG_FSP_M_XIP=y
 CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
@@ -196,6 +198,7 @@ CONFIG_SYSTEM_TYPE_LAPTOP=y
 #
 CONFIG_CPU_SPECIFIC_OPTIONS=y
 CONFIG_HAVE_BOOTBLOCK=y
+CONFIG_CPU_ADDR_BITS=36
 CONFIG_SMM_TSEG_SIZE=0x800000
 CONFIG_SMM_RESERVED_SIZE=0x200000
 CONFIG_SMM_MODULE_STACK_SIZE=0x800
@@ -228,7 +231,8 @@ CONFIG_PCIEXP_CLK_PM=y
 CONFIG_IED_REGION_SIZE=0x400000
 # CONFIG_NHLT_MAX98373 is not set
 CONFIG_MAX_ROOT_PORTS=24
-CONFIG_CONSOLE_CBMEM=y
+CONFIG_INTEL_TXT_BIOSACM_ALIGNMENT=0x40000
+CONFIG_FSP_HYPERTHREADING=y
 CONFIG_UART_PCI_ADDR=0x0
 CONFIG_SOC_INTEL_COMMON_SKYLAKE_BASE=y
 CONFIG_SOC_INTEL_KABYLAKE=y
@@ -278,6 +282,7 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_GSPI=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_HDA=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_HDA_VERB=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_I2C=y
+# CONFIG_SOC_INTEL_COMMON_BLOCK_IMC is not set
 CONFIG_SOC_INTEL_COMMON_BLOCK_ITSS=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_LPC=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_LPSS=y
@@ -291,6 +296,7 @@ CONFIG_SOC_INTEL_COMMON_BLOCK_RTC=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_SATA=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_SCS=y
 # CONFIG_SOC_INTEL_COMMON_EARLY_MMC_WAKE is not set
+# CONFIG_SOC_INTEL_COMMON_MMC_OVERRIDE is not set
 CONFIG_SOC_INTEL_COMMON_BLOCK_SGX=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_SMBUS=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_TCO=y
@@ -308,7 +314,7 @@ CONFIG_PCIEX_LENGTH_64MB=y
 CONFIG_SA_ENABLE_DPR=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_THERMAL=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_TIMER=y
-# CONFIG_USE_LEGACY_8254_TIMER is not set
+CONFIG_USE_LEGACY_8254_TIMER=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_UART=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_XDCI=y
 CONFIG_SOC_INTEL_COMMON_BLOCK_XHCI=y
@@ -324,7 +330,6 @@ CONFIG_PCH_SPECIFIC_OPTIONS=y
 #
 # Intel SoC Common coreboot stages
 #
-# CONFIG_DISPLAY_SMM_MEMORY_MAP is not set
 CONFIG_SOC_INTEL_COMMON_RESET=y
 CONFIG_SOC_INTEL_COMMON_ACPI_WAKE_SOURCE=y
 # CONFIG_ACPI_CONSOLE is not set
@@ -385,8 +390,7 @@ CONFIG_SMM_STUB_STACK_SIZE=0x400
 # CONFIG_X86_AMD_INIT_SIPI is not set
 # CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
 # CONFIG_SOC_SETS_MSRS is not set
-CONFIG_CACHE_AS_RAM=y
-CONFIG_NO_CAR_GLOBAL_MIGRATION=y
+# CONFIG_CAR_GLOBAL_MIGRATION is not set
 CONFIG_SMP=y
 CONFIG_SSE=y
 CONFIG_SUPPORT_CPU_UCODE_IN_CBFS=y
@@ -419,6 +423,7 @@ CONFIG_CPU_MICROCODE_CBFS_DEFAULT_BINS=y
 # CONFIG_SOUTHBRIDGE_INTEL_COMMON_SMM is not set
 CONFIG_INTEL_DESCRIPTOR_MODE_CAPABLE=y
 CONFIG_INTEL_DESCRIPTOR_MODE_REQUIRED=y
+CONFIG_VALIDATE_INTEL_DESCRIPTOR=y
 
 #
 # Super I/O
@@ -459,37 +464,7 @@ CONFIG_UDK_2015_VERSION=2015
 CONFIG_UDK_2017_VERSION=2017
 CONFIG_UDK_VERSION=2015
 # CONFIG_USE_SIEMENS_HWILIB is not set
-# CONFIG_ARCH_ARM is not set
-# CONFIG_ARCH_BOOTBLOCK_ARM is not set
-# CONFIG_ARCH_VERSTAGE_ARM is not set
-# CONFIG_ARCH_ROMSTAGE_ARM is not set
-# CONFIG_ARCH_RAMSTAGE_ARM is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV4 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV4 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV4 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV4 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV7 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV7 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV7 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV7 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV7_M is not set
-# CONFIG_ARCH_VERSTAGE_ARMV7_M is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV7_R is not set
-# CONFIG_ARCH_VERSTAGE_ARMV7_R is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV7_R is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV7_R is not set
 # CONFIG_ARM_LPAE is not set
-# CONFIG_ARCH_ARM64 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARM64 is not set
-# CONFIG_ARCH_VERSTAGE_ARM64 is not set
-# CONFIG_ARCH_ROMSTAGE_ARM64 is not set
-# CONFIG_ARCH_RAMSTAGE_ARM64 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV8_64 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV8_64 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set
-# CONFIG_ARM64_USE_ARCH_TIMER is not set
-# CONFIG_ARM64_A53_ERRATUM_843419 is not set
 CONFIG_ARCH_X86=y
 CONFIG_ARCH_BOOTBLOCK_X86_32=y
 CONFIG_ARCH_VERSTAGE_X86_32=y
@@ -546,6 +521,7 @@ CONFIG_RUN_FSP_GOP=y
 #
 CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
 CONFIG_LINEAR_FRAMEBUFFER=y
+# CONFIG_BOOTSPLASH is not set
 # CONFIG_SMBUS_HAS_AUX_CHANNELS is not set
 CONFIG_PCI=y
 # CONFIG_NO_MMCONF_SUPPORT is not set
@@ -555,6 +531,7 @@ CONFIG_PCIX_PLUGIN_SUPPORT=y
 CONFIG_CARDBUS_PLUGIN_SUPPORT=y
 # CONFIG_AZALIA_PLUGIN_SUPPORT is not set
 CONFIG_PCIEXP_PLUGIN_SUPPORT=y
+CONFIG_PCIEXP_HOTPLUG=y
 # CONFIG_EARLY_PCI_BRIDGE is not set
 CONFIG_INTEL_GMA_HAVE_VBT=y
 CONFIG_INTEL_GMA_ADD_VBT=y
@@ -606,7 +583,6 @@ CONFIG_NO_UART_ON_SUPERIO=y
 CONFIG_DRIVERS_GENERIC_WIFI=y
 # CONFIG_USE_SAR is not set
 # CONFIG_DRIVERS_AMD_PI is not set
-# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
 CONFIG_DRIVERS_I2C_DESIGNWARE=y
 # CONFIG_DRIVERS_I2C_DESIGNWARE_DEBUG is not set
 # CONFIG_DRIVERS_I2C_MAX98373 is not set
@@ -676,7 +652,7 @@ CONFIG_MAINBOARD_HAS_LPC_TPM=y
 #
 CONFIG_TPM2=y
 CONFIG_MAINBOARD_HAS_TPM2=y
-# CONFIG_DEBUG_TPM is not set
+CONFIG_DEBUG_TPM=y
 # CONFIG_TPM_RDRESP_NEED_DELAY is not set
 
 #
@@ -684,6 +660,11 @@ CONFIG_MAINBOARD_HAS_TPM2=y
 #
 CONFIG_PLATFORM_HAS_DRAM_CLEAR=y
 # CONFIG_SECURITY_CLEAR_DRAM_ON_REGULAR_BOOT is not set
+
+#
+# Intel
+#
+# CONFIG_INTEL_TXT is not set
 # CONFIG_ACPI_SATA_GENERATOR is not set
 CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES=y
 # CONFIG_ACPI_AMD_HARDWARE_SLEEP_VALUES is not set
@@ -701,6 +682,7 @@ CONFIG_POSTCAR_CONSOLE=y
 CONFIG_SQUELCH_EARLY_SMP=y
 # CONFIG_SPKMODEM is not set
 # CONFIG_CONSOLE_NE2K is not set
+CONFIG_CONSOLE_CBMEM=y
 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
 # CONFIG_CONSOLE_CBMEM_DUMP_TO_UART is not set
 # CONFIG_CONSOLE_SPI_FLASH is not set
@@ -718,7 +700,6 @@ CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7=y
 # CONFIG_NO_EARLY_BOOTBLOCK_POSTCODES is not set
 CONFIG_HWBASE_DEBUG_CB=y
 CONFIG_HAVE_ACPI_RESUME=y
-# CONFIG_ACPI_HUGE_LOWMEM_BACKUP is not set
 CONFIG_RESUME_PATH_SAME_AS_BOOT=y
 # CONFIG_HAVE_ROMSTAGE_CONSOLE_SPINLOCK is not set
 # CONFIG_HAVE_ROMSTAGE_NVRAM_CBFS_SPINLOCK is not set
@@ -741,12 +722,13 @@ CONFIG_ACPI_NHLT=y
 # CONFIG_GENERATE_MP_TABLE is not set
 # CONFIG_GENERATE_PIRQ_TABLE is not set
 CONFIG_GENERATE_SMBIOS_TABLES=y
+# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
 
 #
 # Payload
 #
 # CONFIG_PAYLOAD_NONE is not set
-# CONFIG_PAYLOAD_ELF is not set
+CONFIG_PAYLOAD_ELF=y
 # CONFIG_PAYLOAD_BAYOU is not set
 # CONFIG_PAYLOAD_FILO is not set
 # CONFIG_PAYLOAD_GRUB2 is not set
@@ -755,18 +737,16 @@ CONFIG_GENERATE_SMBIOS_TABLES=y
 # CONFIG_PAYLOAD_UBOOT is not set
 # CONFIG_PAYLOAD_YABITS is not set
 # CONFIG_PAYLOAD_LINUX is not set
-CONFIG_PAYLOAD_TIANOCORE=y
+# CONFIG_PAYLOAD_TIANOCORE is not set
 CONFIG_PAYLOAD_FILE="$(FIRMWARE_OPEN_UEFIPAYLOAD)"
 CONFIG_PAYLOAD_OPTIONS=""
 # CONFIG_PXE is not set
-CONFIG_TIANOCORE_STABLE=y
-# CONFIG_TIANOCORE_REVISION is not set
+# CONFIG_TIANOCORE_COREBOOTPAYLOAD is not set
+# CONFIG_TIANOCORE_UEFIPAYLOAD is not set
 # CONFIG_TIANOCORE_TARGET_IA32 is not set
-CONFIG_TIANOCORE_TARGET_X64=y
+# CONFIG_TIANOCORE_TARGET_X64 is not set
 # CONFIG_TIANOCORE_DEBUG is not set
-CONFIG_TIANOCORE_RELEASE=y
-# CONFIG_TIANOCORE_USE_8254_TIMER is not set
-# CONFIG_TIANOCORE_BOOTSPLASH_IMAGE is not set
+# CONFIG_TIANOCORE_RELEASE is not set
 CONFIG_COMPRESSED_PAYLOAD_LZMA=y
 # CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
 # CONFIG_PAYLOAD_IS_FLAT_BINARY is not set