[coreboot-gerrit] Patch merged into coreboot/master: 35d5ea9 lenovo/t520: replace dumped GPIO values with gpio.h