[coreboot-gerrit] Patch set updated for coreboot: eb137eb Only update submodules if the source is in a git repo