[coreboot-gerrit] Patch set updated for coreboot: cbmem: Fix cbmem_add_bootmem()