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