coreboot: Add a VMX feature lock check and reset if VMX is disabled

Starting with M80, OS requires VMX to be enabled. However, since the
previous version of the OS had the feature disabled and locked, the
system needs to go through a cold reset to allow VMX to be enabled.

BUG=b:150215069, crbug:1072877
TEST=Update/reset between M79 and M84 versions; confirm that the
issue is resolved and /dev/kvm comes up.

Change-Id: Ifa2f370b1212b13a2eeb8d95c738068d5109d423
Tested-by: Dossym Nurmukhanov <>
Auto-Submit: Dossym Nurmukhanov <>
Commit-Queue: Furquan Shaikh <>
Reviewed-by: Furquan Shaikh <>
2 files changed