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