[coreboot-gerrit] Patch merged into coreboot/master: a00ce09 mainboard/lenovo/x230 Fix usage of GNU field designator extension