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