[coreboot-gerrit] Patch merged into coreboot/master: 6224c31 mainboard/google/bolt: Fix usage of GNU field designator ext