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

[Rizwan Qureshi (Code Review)]

Rizwan Qureshi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/31438 )

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

Patch Set 1:

(1 comment)

https://review.coreboot.org/#/c/31438/1/src/mainboard/google/hatch/variants/... 
File src/mainboard/google/hatch/variants/baseboard/devicetree.cb:

https://review.coreboot.org/#/c/31438/1/src/mainboard/google/hatch/variants/... 
PS1, Line 52: register "VmxEnable" = "1"
I think we need to do this https://review.coreboot.org/c/coreboot/+/31442
before we select the config. Since we are skipping MIP init in FSP VMX will not be configured.