[coreboot-gerrit] New patch to review for coreboot: lenovo/x200, t400: use gpio.h instead of gpio_setup