[coreboot-gerrit] Patch set updated for coreboot: ecb5a6b Move generation of build.h into a shell script