[coreboot-gerrit] Patch set updated for coreboot: 08e4f16 vboot: move to region_devices