[coreboot-gerrit] New patch to review for coreboot: a1db27e mainboard/lenovo/x230: Fix usage of GNU old-style field designator extension.