[coreboot-gerrit] New patch to review for coreboot: 5d7e112 mainboard/samsung/lumpy: Fix usage of GNU field designator ext