[coreboot] Missing gerrit change