[coreboot-gerrit] Patch merged into coreboot/master: 599c32d marvell/bg4cd: merge verstage into bootblock