[coreboot-gerrit] Patch set updated for coreboot: 8800f78 build: fetch submodules as required