[coreboot] Re: Gerrit Gitiles is back - for now