[coreboot-gerrit] Patch set updated for coreboot: b7d699f Add a kirby board which is mostly a copy of pit