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