[coreboot-gerrit] Patch set updated for coreboot: bdbeb23 Fix mainboard names for daisy and peach_pit