[coreboot-gerrit] Patch merged into coreboot/master: gpio: Add support for binary_first base3 number system