[coreboot-gerrit] Patch set updated for coreboot: 4b1d8bd mainboard/google/peppy Fix usage of GNU field designator extension