[coreboot-gerrit] Patch set updated for coreboot: c474867 cpu/intel: Rename 'enable_vmx()' func to 'configure_vmx()'