[coreboot-gerrit] Patch merged into coreboot/master: 28d5ec9 x86: provide consistent cbmem_top() for CONFIG_LATE_CBMEM_INIT