[coreboot-gerrit] New patch to review for coreboot: 5e30ef8 mainboard/lenovo/t530/Kconfig: Enable VMX by default