[coreboot-gerrit] Patch set updated for coreboot: gpio: Add support for binary_first base3 number system