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