[coreboot-gerrit] Patch set updated for coreboot: gpio: Add support for translating gpio_t into ACPI pin