[coreboot] Patch merged into coreboot/master: 223af0d document Intel VMX locking behavior