[coreboot-gerrit] Patch merged into coreboot/master: b7d699f Add a kirby board which is mostly a copy of pit