Re: [coreboot] [PATCH]es for v2: build system fixes and changes, and scan-build support