[coreboot-gerrit] Patch set updated for coreboot: 4ca75e4 Makefile: remove $(obj)/config.h before a build.