[coreboot-gerrit] Patch set updated for coreboot: 38f8a93 vboot: use out_flags to indicate dev mode