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