[coreboot-gerrit] Change in coreboot[4.16_branch]: util/crossgcc: Update tools to point to the coreboot archive