[coreboot-gerrit] Patch set updated for coreboot: c424da1 cpu/allwinner/a10: Add minimal ramstage driver