Re: [coreboot] [Patch] Quieter build