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