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

[Furquan Shaikh (Code Review)]

Furquan Shaikh 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:
> Patch Set 1:
>
> So what's the verdict here: VmxEnable in devicetree or in Kconfig?

This change should not be required now that https://review.coreboot.org/c/coreboot/+/32117 has landed.