[coreboot-gerrit] Patch merged into coreboot/master: b419c1a8 regions: add memory region device support