[coreboot-gerrit] Change in coreboot[master]: soc/intel/tigerlake: Configure Vmx support using Kconfig

[Patrick Georgi (Code Review)]

Patrick Georgi has submitted this change. ( https://review.coreboot.org/c/coreboot/+/39438 )

Change subject: soc/intel/tigerlake: Configure Vmx support using Kconfig
......................................................................

soc/intel/tigerlake: Configure Vmx support using Kconfig

Change VmxEnable UPD value based on Kconfig ENABLE_VMX

BUG=None
TEST=Built image and booted to kernel.

Change-Id: I725474643193223865a135813cf882fd7636d24a
Signed-off-by: John Zhao 
Reviewed-on: https://review.coreboot.org/c/coreboot/+/39438
Tested-by: build bot (Jenkins) 
Reviewed-by: Caveh Jalali 
Reviewed-by: Wonkyu Kim 
---
M src/soc/intel/tigerlake/romstage/fsp_params_tgl.c
1 file changed, 3 insertions(+), 0 deletions(-)

Approvals:
  build bot (Jenkins): Verified
  Caveh Jalali: Looks good to me, but someone else must approve
  Wonkyu Kim: Looks good to me, approved

diff --git a/src/soc/intel/tigerlake/romstage/fsp_params_tgl.c b/src/soc/intel/tigerlake/romstage/fsp_params_tgl.c
index 072c99e..3872b61 100644
--- a/src/soc/intel/tigerlake/romstage/fsp_params_tgl.c
+++ b/src/soc/intel/tigerlake/romstage/fsp_params_tgl.c
@@ -145,6 +145,9 @@
    m_cfg->VtdBaseAddress[4] = TBT1_BASE_ADDRESS;
    m_cfg->VtdBaseAddress[5] = TBT2_BASE_ADDRESS;
    m_cfg->VtdBaseAddress[6] = TBT3_BASE_ADDRESS;
+
+	/* Change VmxEnable UPD value according to ENABLE_VMX Kconfig */
+	m_cfg->VmxEnable = CONFIG(ENABLE_VMX);
 }

void platform_fsp_memory_init_params_cb(FSPM_UPD *mupd, uint32_t version)