[coreboot-gerrit] Patch set updated for coreboot: ed1d024 CBMEM: Move cbmemc_reinit()