[coreboot-gerrit] New patch to review for coreboot: vboot/vboot_common: actually provide a writable region_device