[coreboot-gerrit] New patch to review for coreboot: 696a8d0 vboot: move to region_devices