Re: [coreboot] Scan-build errors