[coreboot-gerrit] Patch set updated for coreboot: bf8a4aa util/cbmem: Fix format string in cbmem.c