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