[coreboot-gerrit] Patch set updated for coreboot: dc0be14 CBMEM: Do not use get_top_of_ram() with DYNAMIC_CBMEM