Re: [coreboot] [PATCH]es: abuild, acpigen, scan-build results