[coreboot-gerrit] Patch set updated for coreboot: c54bab3 board_info.txt: Change iei/kino's link to web.archive.org.