[coreboot] Gerrit etiquette