[coreboot-gerrit] Patch set updated for coreboot: 076035b mainboard/lenovo/x200: Use defines from southbridge for GPIO config