[coreboot-gerrit] Patch set updated for coreboot: 6c9d635 regions: add memory region device support