[coreboot-gerrit] Patch set updated for coreboot: dd603c4 crossgcc: Re-download the archive if it is incomplete