[coreboot-gerrit] New patch to review for coreboot: a01eafc regions: add region_device_sz()