[coreboot-gerrit] Patch set updated for coreboot: b08d917 cpu: Add initial support for Allwinner A10 SoC