[coreboot-gerrit] Change in ...coreboot[master]: mb/google/hatch: Set VmxEnable to 1

[Furquan Shaikh (Code Review)]

Furquan Shaikh has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/31438

Change subject: mb/google/hatch: Set VmxEnable to 1
......................................................................

mb/google/hatch: Set VmxEnable to 1

This change sets VmxEnable to 1 to match the kernel setting.

BUG=b:124518711

Change-Id: I20f9282a94dc502e963578c435061ffe52ce83d3
Signed-off-by: Furquan Shaikh 
---
M src/mainboard/google/hatch/variants/baseboard/devicetree.cb
1 file changed, 1 insertion(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/38/31438/1

diff --git a/src/mainboard/google/hatch/variants/baseboard/devicetree.cb b/src/mainboard/google/hatch/variants/baseboard/devicetree.cb
index aaef663..1cb570c 100644
--- a/src/mainboard/google/hatch/variants/baseboard/devicetree.cb
+++ b/src/mainboard/google/hatch/variants/baseboard/devicetree.cb
@@ -49,6 +49,7 @@
    register "SataPortsEnable[1]" = "1"
    register "SataPortsDevSlp[1]" = "1"
    register "satapwroptimize" = "1"
+	register "VmxEnable" = "1"
    # Enable System Agent dynamic frequency
    register "SaGv" = "SaGv_Enabled"
    # Enable heci communication