[coreboot-gerrit] Patch merged into coreboot/master: 6737629 Update 3rdparty mark to latest repository