[coreboot-gerrit] Patch set updated for coreboot: d57d25e selfboot: use bootmem infrastructure