[coreboot-gerrit] Patch set updated for coreboot: 783c717 lenovo/t520/gpio.h: Fix current gpio configuration