[coreboot-gerrit] Patch set updated for coreboot: 3e00f10 cpu/intel: Make VMX bit configurable in CMOS