[coreboot-gerrit] New patch to review for coreboot: c54ea82 CBMEM: Define cbmem_top() just once for x86