[coreboot-gerrit] Patch merged into coreboot/master: gpio: Add support for translating gpio_t into ACPI pin