[coreboot-gerrit] Patch set updated for coreboot: e7efc41 lib: add memrange infrastructure