[coreboot-gerrit] Patch set updated for coreboot: 6c72d83 t530: Move to common gpio.h inrastructure