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