[coreboot-gerrit] Patch set updated for coreboot: a1466e4 util/cbmem: Workaround for IS_ENABLED()