[coreboot-gerrit] Patch merged into coreboot/master: vboot/vboot_common: actually provide a writable region_device