Re: [coreboot] cbfstool and scan-build