[coreboot-gerrit] Patch set updated for coreboot: 57a80f4 coreboot rush: Add support for rush board