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