[coreboot-gerrit] Patch set updated for coreboot: gpio: Add support for extended binary number system