[coreboot-gerrit] Patch set updated for coreboot: a26bfb7 vboot: move vboot files to designated directory