[coreboot] Re: Missing gerrit change