Re: [coreboot] How to deal with Coverity reports? (was: Missing Coverity reports)