[coreboot] New patch to review for coreboot: 80b383f document Intel VMX locking behavior