[coreboot] Coverity