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