[coreboot-gerrit] Patch set updated for coreboot: 7677cbe cpu/allwinner/a10: Refactor and document pinmux API