[coreboot-gerrit] Patch set updated for coreboot: 07c8e0c x86: provide consistent cbmem_top() for CONFIG_LATE_CBMEM_INIT