FSP also has an UPD for VmxEnable or EnableVmx which should be set as well, using the Kconfig setting

Patch set 4:Code-Review +2

View Change

To view, visit change 45869. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Ib329648f77acecccb0ced1806f61be252d03f2f4
Gerrit-Change-Number: 45869
Gerrit-PatchSet: 4
Gerrit-Owner: Christian Walter <christian.walter@9elements.com>
Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>
Gerrit-Reviewer: Marc Jones <marc@marcjonesconsulting.com>
Gerrit-Reviewer: Patrick Rudolph <siro@das-labor.org>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Paul Menzel <paulepanter@users.sourceforge.net>
Gerrit-Comment-Date: Thu, 08 Oct 2020 12:08:00 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment