[coreboot-gerrit] Change in coreboot[master]: gpio: Add support for extended binary number system