Re: [coreboot] git/gerrit question