[coreboot-gerrit] Patch set updated for coreboot: c7d0e4b coreboot: add memory pool infrastructure