[coreboot-gerrit] New patch to review for coreboot: bd15c3d cbmem: remove cbmem_set_top()