Re: [coreboot] New Defects reported by Coverity Scan for coreboot