[coreboot-gerrit] Change in coreboot[master]: soc/amd/common/block/gpio_banks/gpio: use gpio_t for GPIO numbers