Re: [coreboot] v3 scan-build support