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