[coreboot-gerrit] Patch set updated for coreboot: a00ce09 mainboard/lenovo/x230 Fix usage of GNU field designator extension