[coreboot-gerrit] New patch to review for coreboot: genbuild_h.sh: allow coreboot to be a git submodule