[coreboot-gerrit] Patch set updated for coreboot: build system: Make sure that build.h is generated before use