[coreboot] Re: Git reports an interesting error message