[coreboot-gerrit] Patch set updated for coreboot: ce67fb3 coreboot: introduce notion of bootmem for memory map at boot