[coreboot-gerrit] New patch to review for coreboot: 8082a10 cpu/intel: Rename 'enable_vmx()' func to 'toggle_vmx()'