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