Re: [coreboot] Missing Coverity reports