[coreboot-gerrit] New patch to review for coreboot: 759f2f9 lenovo/t520: replace dumped GPIO values with gpio.h