[coreboot-gerrit] Patch set updated for coreboot: 1ff4c2f cbmem: remove cbmem_set_top()