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