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