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