[coreboot-gerrit] Patch set updated for coreboot: 37b06ea mainboard/lenovo/t530/Kconfig: Enable VMX by default