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