[coreboot-gerrit] Patch set updated for coreboot: crossgcc/buildgcc: Add comment about URLs and jenkins builder