[coreboot-gerrit] Patch set updated for coreboot: d4dcdec cpu/allwinner/a10: Provide utility to make a bootable image