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