Re: [coreboot] [PATCH]Speed up makefile processing a bit