[coreboot-gerrit] New patch to review for coreboot: 7ade2f1 x86: provide consistent cbmem_top() for CONFIG_LATE_CBMEM_INIT