[coreboot-gerrit] Patch set updated for coreboot: 38c7df1 boardstatus: Change iei/kino's link to web.archive.org.