[coreboot] some noise on gerrit by lava