[coreboot-gerrit] Patch set updated for coreboot: util/marvell: Add Marvell doimage utility and dependency in relevant Makefile